Publications
Scientific publications are the most important measure of our academic excellence and impact. In the past years, CISPA researchers have published many papers at scientific top-tier conferences and in prestigious journals. Our publications are listed in our publications database, including a link to the original paper.
Computer Aided Verification (CAV) Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-Learned
Security for Space Systems (3S)
International Symposium on Research in Attacks Intrusions and Defenses (RAID) Down to earth! Guidelines for DGA-based Malware Detection
International Symposium on Research in Attacks Intrusions and Defenses (RAID) Understanding Web Fingerprinting with a Protocol-Centric Approach
International Conference on Machine Learning (ICML) Robust Yet Efficient Conformal Prediction Sets
International Conference on Machine Learning (ICML) On Convergence of Incremental Gradient for Non-convex Smooth Functions
International Conference on Machine Learning (ICML) Spectral Preconditioning for Gradient Methods on Graded Non-convex Functions
International Conference on Machine Learning (ICML) Non-Convex Stochastic Composite Optimization with Polyak Momentum
International Conference on Machine Learning (ICML) Universal Gradient Methods for Stochastic Convex Optimization