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) Prompt Stealing Attacks Against Text-to-Image Generation Models
Usenix Security Symposium (USENIX-Security) SSRF vs. Developers: A Study of SSRF-Defenses in PHP Applications
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