Alle PubliKationen
Unsere wissenschaftlichen Publikationen belegen eindrucksvoll die Exzellenz und internationale Sichtbarkeit unserer Forschung. In den vergangenen Jahren haben CISPA-Forschende zahlreiche Beiträge auf wissenschaftlichen Top-Konferenzen weltweit und in renommierten Fachzeitschriften veröffentlicht. Unsere Publikationen sind in unserer Publikationsdatenbank aufgeführt, einschließlich des Links zur Originalveröffentlichung.
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
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 (ICML)
Mirror, Mirror of the Flow: How Does Regularization Shape Implicit Bias?
ACM Transactions on Software Engineering and Methodology Learning Program Behavioral Models from Synthesized Input-Output Pairs
International Conference on Machine Learning (ICML)
The Ripple Effect: On Unforeseen Complications of Backdoor Attacks