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.
Tools and Algorithms for Construction and Analysis of Systems (TACAS)
International Conference on Practice and Theory in Public Key Cryptography (PKC)
Public-Key Cryptography – PKC 2025
Advances in Cryptology – EUROCRYPT 2025
Advances in Cryptology (CRYPTO)
Theory of Cryptography Conference (TCC)
Computer Aided Verification (CAV)