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.
Usenix Security Symposium (USENIX-Security) CacheWarp: Software-based Fault Injection using Selective State Reset
International Conference on Machine Learning (ICML) Domain Generalisation via Imprecise Learning.
Computer Aided Verification (CAV) Information Flow Guided Synthesis with Unbounded Communication
Computer Aided Verification (CAV) Syntax-Guided Automated Program Repair for Hyperproperties
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)