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) 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)
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