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) 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
Network and Distributed System Security Symposium (NDSS) SNPeek: Side-Channel Analysis for Privacy Applications on Confidential VMs
International Conference on Software Engineering (ICSE) SecBench.js: An Executable Security Benchmark Suite for Server-Side JavaScript
Annual Computer Security Applications Conference (ACSAC) R+R: Anonymous Authentication and Key Agreement, Revisited
Security, Privacy, and Applied Cryptography Engineering(SPACE) A new perspective on the decomposition in the Jacobian of small genus hyperelliptic curve
2025 IEEE Annual Computer Security Applications Conference (ACSAC)