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.
Transactions on Machine Learning Research Personalized Federated Learning via Low-Rank Matrix Optimization
Proc. ACM Program. Lang. Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs
Workshop for Research on Agent Language Models at the 63rd Annual Meeting of the Association for Computational Linguistics (ACL) Safe in Isolation, Dangerous Together: Agent-Driven Multi-Turn Decomposition Jailbreaks on LLMs
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