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)
Trust Me If You Can – How Usable Is Trusted Types In Practice?
Usenix Security Symposium (USENIX-Security)
Instruction Backdoor Attacks Against Customized LLMs
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