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.
Annual Meeting of the Association for Computational Linguistics (ACL) Rethinking Assessments of Prompt Injection Attacks
Structural Information and Communication Complexity (SIROCCO) A Lightweight Approach for State Machine Replication
International Conference on Practice and Theory in Public Key Cryptography (PKC) Leveled Isogeny Problems with Hints
Challenges and Algorithms for Knowledge Discovery from Data - Essays Dedicated to Arno Siebes on the Occasion of His 67th Birthday
ACM-SIAM Symposium on Discrete Algorithms (SODA) A Post-Quantum Lower Bound for the Distributed Lovasz Local Lemma.
Computer Aided Verification (CAV) Differentially Private Runtime Monitoring
Formal Methods (FM) Pacing Types for Asynchronous Stream Equations
ACM ASIA Conference on Computer and Communications Security (AsiaCCS) VDPCollect: Vulnerability Disclosure Programs as a Complement to Web Security Measurements
Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS) Parameterized Verification of Timed Networks with Clock Invariants