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)
Localized Attractor Computations for Infinite-State Games
ACM Conference on Computer and Communications Security (CCS)
The Janus Interface: How Fine-Tuning in Large Language Models Amplifies the Privacy Risks
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