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.
International Conference on the Theory and Application of Cryptographic Techniques (EuroCrypt) ETK: External-Operations TreeKEM and the Security of MLS in RFC 9420
ICLR 2026 Workshop: Principled Design for Trustworthy AI
Atomic Gliders and Cellular Automata as Language Generators
Conference on Security and Cryptography for Networks (SCN) The Quantum Decoherence Model: Everlasting Composable Secure Computation and More
Challenges and Algorithms for Knowledge Discovery from Data
International Conference on Runtime Verification (RV) FairMon: A Tool for Monitoring and Visualizing Algorithmic Fairness
International Conference on Runtime Verification (RV) Cutting Corners on Uncertainty: Zonotope Abstractions for Stream-Based Runtime Monitoring