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) Synthesis of Temporal Causality
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