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.
Modeling and Analyzing Security Protocols with Tamarin, A Comprehensive Guide
Annual Meeting of the Association for Computational Linguistics (ACL)
JailbreakRadar: Comprehensive Assessment of Jailbreak Attacks Against LLMs
Annual Meeting of the Association for Computational Linguistics (ACL)
When GPT Spills the Tea: Comprehensive Assessment of Knowledge File Leakage in GPTs
Computer Aided Verification (CAV)
Issy: A Comprehensive Tool for Specification and Synthesis of Infinite-State Reactive Systems
Conference on Uncertainty in Artificial Intelligence (UAI)
Truthful Elicitation of Imprecise Forecasts
Usenix Security Symposium (USENIX-Security)
LEO-Range: Physical Layer Design for Secure Ranging with Low Earth Orbiting Satellites
Association for Computing Machinery (ACM)
Succinct Interaction-Aware Explanations
International Conference on Machine Learning-Workshop (ICML-W)
Breaking the Likelihood-Quality Trade-off in Diffusion Models by Merging Pretrained Experts
International Conference on Machine Learning (ICML)
Mirror, Mirror of the Flow: How Does Regularization Shape Implicit Bias?