| 2026 | EuroCrypt | ETK: External-Operations TreeKEM and the Security of MLS in RFC 9420. | Cas Cremers, Esra Gnsay, Vera Wesselkamp, Mang Zhao |
| 2025 | CCS | Breaking and Provably Restoring Authentication: A Formal Analysis of SPDM 1.2 including Cross-Protocol Attacks. | Cas Cremers, Alexander Dax, Aurora Naska |
| 2025 | CCS | Looping for Good: Cyclic Proofs for Security Protocols. | Felix Linker, Christoph Sprenger, Cas Cremers, David A. Basin |
| 2025 | SP | Token Weaver: Privacy Preserving and Post-Compromise Secure Attestation. | Cas Cremers, Gal Horowitz, Charlie Jacomme, Eyal Ronen |
| 2025 | SP | Impossibility Results for Post-Compromise Security in Real-World Communication Systems. | Cas Cremers, Niklas Medinger, Aurora Naska |
| 2024 | CCS | Keeping Up with the KEMs: Stronger Security Notions for KEMs and Automated Analysis of KEM-based Protocols. | Cas Cremers, Alexander Dax, Niklas Medinger |
| 2024 | EuroCrypt | A Holistic Security Analysis of Monero Transactions. | Cas Cremers, Julian Loss, Benedikt Wagner |
| 2024 | SP | Multi-Stage Group Key Distribution and PAKEs: Securing Zoom Groups against Malicious Servers without New Security Elements. | Cas Cremers, Eyal Ronen, Mang Zhao |
| 2024 | SP | Secure Messaging with Strong Compromise Resilience, Temporal Privacy, and Immediate Decryption. | Cas Cremers, Mang Zhao |
| 2023 | SP | FIDO2, CTAP 2.1, and WebAuthn 2: Provable Security and Post-Quantum Instantiation. | Nina Bindel, Cas Cremers, Mang Zhao |
| 2022 | CRYPTO | CHIP and CRISP: Protecting All Parties Against Compromise Through Identity-Binding PAKEs. | Cas Cremers, Moni Naor, Shahar Paz, Eyal Ronen |
| 2022 | SP | A Logic and an Interactive Prover for the Computational Post-Quantum Security of Protocols. | Cas Cremers, Caroline Fontaine, Charlie Jacomme |
| 2021 | SP | SoK: Computer-Aided Cryptography. | Manuel Barbosa, Gilles Barthe, Karthik Bhargavan, Bruno Blanchet, Cas Cremers, Kevin Liao, Bryan Parno |
| 2021 | SP | The Provable Security of Ed25519: Theory and Practice. | Jacqueline Brendel, Cas Cremers, Dennis Jackson, Mang Zhao |
| 2021 | SP | BUFFing signature schemes beyond unforgeability and the case of post-quantum signatures. | Cas Cremers, Samed Dzl, Rune Fiedler, Marc Fischlin, Christian Janson |
| 2020 | CCS | Clone Detection in Secure Messaging: Improving Post-Compromise Security in Practice. | Cas Cremers, Jaiden Fairoze, Benjamin Kiesl, Aurora Naska |
| 2019 | CCS | Seems Legit: Automated Analysis of Subtle Attacks on Protocols that Use Signatures. | Dennis Jackson, Cas Cremers, Katriel Cohn-Gordon, Ralf Sasse |
| 2019 | CRYPTO | Highly Efficient Key Exchange Protocols with Optimal Tightness. | Katriel Cohn-Gordon, Cas Cremers, Kristian Gjsteen, Hkon Jacobsen, Tibor Jager |
| 2019 | NDSS | Component-Based Formal Analysis of 5G-AKA: Channel Assumptions and Session Confusion. | Cas Cremers, Martin Dehnel-Wild |
| 2018 | CCS | On Ends-to-Ends Encryption: Asynchronous Group Messaging with Strong Security Guarantees. | Katriel Cohn-Gordon, Cas Cremers, Luke Garratt, Jon Millican, Kevin Milner |
| 2017 | CCS | A Comprehensive Symbolic Analysis of TLS 1.3. | Cas Cremers, Marko Horvat, Jonathan Hoyland, Sam Scott, Thyla van der Merwe |
| 2017 | ESORICS | Secure Authentication in the Grid: A Formal Analysis of DNP3: SAv5. | Cas Cremers, Martin Dehnel-Wild, Kevin Milner |
| 2017 | FMCAD | Symbolic security analysis using the Tamarin prover. | Cas Cremers |
| 2016 | ESORICS | On Bitcoin Security in the Presence of Broken Cryptographic Primitives. | Ilias Giechaskiel, Cas Cremers, Kasper Bonne Rasmussen |
| 2016 | SP | Automated Analysis and Verification of TLS 1.3: 0-RTT, Resumption and Delayed Authentication. | Cas Cremers, Marko Horvat, Sam Scott, Thyla van der Merwe |
| 2015 | ICSE | Experiences in Developing and Delivering a Programme of Part-Time Education in Software and Systems Security. | Andrew C. Simpson, Andrew P. Martin, Cas Cremers, Ivan Flechais, Ivan Martinovic, Kasper Bonne Rasmussen |
| 2014 | CCS | ARPKI: Attack Resilient Public-Key Infrastructure. | David A. Basin, Cas Cremers, Tiffany Hyun-Jin Kim, Adrian Perrig, Ralf Sasse, Pawel Szalachowski |
| 2014 | SP | Automated Verification of Group Key Agreement Protocols. | Benedikt Schmidt, Ralf Sasse, Cas Cremers, David A. Basin |
| 2013 | CAV | The TAMARIN Prover for the Symbolic Analysis of Security Protocols. | Simon Meier, Benedikt Schmidt, Cas Cremers, David A. Basin |
| 2013 | ESORICS | ASICS: Authenticated Key Exchange Security Incorporating Certification Systems. | Colin Boyd, Cas Cremers, Michle Feltz, Kenneth G. Paterson, Bertram Poettering, Douglas Stebila |
| 2012 | ESORICS | Beyond eCK: Perfect Forward Secrecy under Actor Compromise and Ephemeral-Key Reveal. | Cas Cremers, Michle Feltz |
| 2012 | NDSS | Distance Hijacking Attacks on Distance Bounding Protocols. | Cas Cremers, Kasper Bonne Rasmussen, Srdjan Capkun |
| 2012 | SP | Distance Hijacking Attacks on Distance Bounding Protocols. | Cas Cremers, Kasper Bonne Rasmussen, Benedikt Schmidt, Srdjan Capkun |
| 2011 | CCS | Examining indistinguishability-based security models for key exchange protocols: the case of CK, CK-HMQV, and eCK. | Cas Cremers |
| 2011 | ESORICS | Key Exchange in IPsec Revisited: Formal Analysis of IKEv1 and IKEv2. | Cas Cremers |
| 2010 | ACSAC | Keeping data secret under full compromise using porter devices. | Christina Ppper, David A. Basin, Srdjan Capkun, Cas Cremers |
| 2010 | CSL | Degrees of Security: Protocol Guarantees in the Face of Compromising Adversaries. | David A. Basin, Cas Cremers |
| 2010 | ESORICS | Modeling and Analyzing Security in the Presence of Compromising Adversaries. | David A. Basin, Cas Cremers |
| 2008 | CCS | On the protocol composition logic PCL. | Cas Cremers |