Cas Cremers

ORCID

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 76

Top Venues

IACR Cryptol. ePrint Arch.

USENIX Security Symposium

IEEE Symposium on Security and Privacy

CSF

Publications

Chris Brzuska, Cas Cremers, Håkon Jacobsen, Douglas Stebila, Bogdan Warinschi
Falsifiability, Composability, and Comparability of Game-based Security Models for Key Exchange Protocols. IACR Cryptol. ePrint Arch. 2024 (2024)
Guillaume Girol, Lucca Hirschi, Ralf Sasse, Dennis Jackson, Cas Cremers, David A. Basin
A Spectral Analysis of Noise: A Comprehensive, Automated, Formal Analysis of Diffie-Hellman Protocols. IACR Cryptol. ePrint Arch. 2024 (2024)
Cas Cremers, Julian Loss, Benedikt Wagner
A Holistic Security Analysis of Monero Transactions. EUROCRYPT (3) (2024)
Cas Cremers, Charlie Jacomme, Philip Lukert
Subterm-Based Proof Techniques for Improving the Automation and Scope of Security Protocol Analysis. CSF (2023)
Cas Cremers, Julian Loss, Benedikt Wagner
A Holistic Security Analysis of Monero Transactions. IACR Cryptol. ePrint Arch. 2023 (2023)
Nina Bindel, Cas Cremers, Mang Zhao
FIDO2, CTAP 2.1, and WebAuthn 2: Provable Security and Post-Quantum Instantiation. SP (2023)
Cas Cremers, Alexander Dax, Charlie Jacomme, Mang Zhao
Automated Analysis of Protocols that use Authenticated Encryption: How Subtle AEAD Differences can impact Protocol Security. IACR Cryptol. ePrint Arch. 2023 (2023)
Cas Cremers, Alexander Dax, Niklas Medinger
Keeping Up with the KEMs: Stronger Security Notions for KEMs. IACR Cryptol. ePrint Arch. 2023 (2023)
Cas Cremers, Eyal Ronen, Mang Zhao
Multi-Stage Group Key Distribution and PAKEs: Securing Zoom Groups against Malicious Servers without New Security Elements. IACR Cryptol. ePrint Arch. 2023 (2023)
Vincent Cheval, Cas Cremers, Alexander Dax, Lucca Hirschi, Charlie Jacomme, Steve Kremer
Hash Gone Bad: Automated discovery of protocol attacks that exploit hash function weaknesses. USENIX Security Symposium (2023)
Cas Cremers, Charlie Jacomme, Aurora Naska
Formal Analysis of Session-Handling in Secure Messaging: Lifting Security from Sessions to Conversations. USENIX Security Symposium (2023)
Cas Cremers, Alexander Dax, Aurora Naska
Formal Analysis of SPDM: Security Protocol and Data Model version 1.2. USENIX Security Symposium (2023)
Cas Cremers, Alexander Dax, Charlie Jacomme, Mang Zhao
Automated Analysis of Protocols that use Authenticated Encryption: How Subtle AEAD Differences can impact Protocol Security. USENIX Security Symposium (2023)
Cas Cremers, Alexander Dax, Aurora Naska
Formal Analysis of SPDM: Security Protocol and Data Model version 1.2. IACR Cryptol. ePrint Arch. 2022 (2022)
Cas Cremers, Charlie Jacomme, Eyal Ronen
TokenWeaver: Privacy Preserving and Post-Compromise Secure Attestation. IACR Cryptol. ePrint Arch. 2022 (2022)
Cas Cremers, Mang Zhao
Provably Post-Quantum Secure Messaging with Strong Compromise Resilience and Immediate Decryption. IACR Cryptol. ePrint Arch. 2022 (2022)
Cas Cremers, Moni Naor, Shahar Paz, Eyal Ronen
CHIP and CRISP: Protecting All Parties Against Compromise Through Identity-Binding PAKEs. CRYPTO (2) (2022)
Carmela Troncoso, Dan Bogdanov, Edouard Bugnion, Sylvain Chatel, Cas Cremers, Seda F. Gürses, Jean-Pierre Hubaux, Dennis Jackson, James R. Larus, Wouter Lueks, Rui Oliveira, Mathias Payer, Bart Preneel, Apostolos Pyrgelis, Marcel Salathé, Theresa Stadler, Michael Veale
Deploying decentralized, privacy-preserving proximity tracing. Commun. ACM 65 (9) (2022)
David A. Basin, Cas Cremers, Jannik Dreier, Ralf Sasse
Tamarin: Verification of Large-Scale, Real-World, Cryptographic Protocols. IEEE Secur. Priv. 20 (3) (2022)
Nina Bindel, Cas Cremers, Mang Zhao
FIDO2, CTAP 2.1, and WebAuthn 2: Provable Security and Post-Quantum Instantiation. IACR Cryptol. ePrint Arch. 2022 (2022)
Cas Cremers, Caroline Fontaine, Charlie Jacomme
A Logic and an Interactive Prover for the Computational Post-Quantum Security of Protocols. IACR Cryptol. ePrint Arch. 2022 (2022)
Cas Cremers, Charlie Jacomme, Philip Lukert
Subterm-based proof techniques for improving the automation and scope of security protocol analysis. IACR Cryptol. ePrint Arch. 2022 (2022)
Cas Cremers, Caroline Fontaine, Charlie Jacomme
A Logic and an Interactive Prover for the Computational Post-Quantum Security of Protocols. IEEE Symposium on Security and Privacy (2022)
Cas Cremers, Charlie Jacomme, Aurora Naska
Formal Analysis of Session-Handling in Secure Messaging: Lifting Security from Sessions to Conversations. IACR Cryptol. ePrint Arch. 2022 (2022)
Vincent Cheval, Cas Cremers, Alexander Dax, Lucca Hirschi, Charlie Jacomme, Steve Kremer
Hash Gone Bad: Automated discovery of protocol attacks that exploit hash function weaknesses. IACR Cryptol. ePrint Arch. 2022 (2022)
Cas Cremers, Britta Hale, Konrad Kohbrok
The Complexities of Healing in Secure Group Messaging: Why Cross-Group Effects Matter. USENIX Security Symposium (2021)
Jacqueline Brendel, Cas Cremers, Dennis Jackson, Mang Zhao
The Provable Security of Ed25519: Theory and Practice. IEEE Symposium on Security and Privacy (2021)
Cas Cremers, Samed Düzlü, Rune Fiedler, Marc Fischlin, Christian Janson
BUFFing signature schemes beyond unforgeability and the case of post-quantum signatures. IEEE Symposium on Security and Privacy (2021)
Manuel Barbosa, Gilles Barthe, Karthik Bhargavan, Bruno Blanchet, Cas Cremers, Kevin Liao, Bryan Parno
SoK: Computer-Aided Cryptography. IEEE Symposium on Security and Privacy (2021)
Jacqueline Brendel, Cas Cremers, Dennis Jackson, Mang Zhao
The Provable Security of Ed25519: Theory and Practice. IACR Cryptol. ePrint Arch. 2020 (2020)
Cas Cremers, Benjamin Kiesl, Niklas Medinger
A Formal Analysis of IEEE 802.11's WPA2: Countering the Kracks Caused by Cracking the Counters. USENIX Security Symposium (2020)
Carmela Troncoso, Mathias Payer, Jean-Pierre Hubaux, Marcel Salathé, James R. Larus, Edouard Bugnion, Wouter Lueks, Theresa Stadler, Apostolos Pyrgelis, Daniele Antonioli, Ludovic Barman, Sylvain Chatel, Kenneth G. Paterson, Srdjan Capkun, David A. Basin, Jan Beutel, Dennis Jackson, Marc Roeschlin, Patrick Leu, Bart Preneel, Nigel P. Smart, Aysajan Abidin, Seda F. Gürses, Michael Veale, Cas Cremers, Michael Backes, Nils Ole Tippenhauer, Reuben Binns, Ciro Cattuto, Alain Barrat, Dario Fiore, Manuel Barbosa, Rui Oliveira, José Pereira
Decentralized Privacy-Preserving Proximity Tracing. CoRR (2020)
Liliya R. Akhmetzyanova, Cas Cremers, Luke Garratt, Stanislav Smyshlyaev, Nick Sullivan
Limiting the impact of unreliable randomness in deployed security protocols. CSF (2020)
Katriel Cohn-Gordon, Cas Cremers, Benjamin Dowling, Luke Garratt, Douglas Stebila
A Formal Security Analysis of the Signal Messaging Protocol. J. Cryptol. 33 (4) (2020)
Cas Cremers, Luke Garratt, Stanislav Smyshlyaev, Nick Sullivan, Christopher A. Wood
Randomness Improvements for Security Protocols. RFC 8937 (2020)
Cas Cremers, Jaiden Fairoze, Benjamin Kiesl, Aurora Naska
Clone Detection in Secure Messaging: Improving Post-Compromise Security in Practice. CCS (2020)
Cas Cremers, Samed Düzlü, Rune Fiedler, Marc Fischlin, Christian Janson
BUFFing signature schemes beyond unforgeability and the case of post-quantum signatures. IACR Cryptol. ePrint Arch. 2020 (2020)
Guillaume Girol, Lucca Hirschi, Ralf Sasse, Dennis Jackson, Cas Cremers, David A. Basin
A Spectral Analysis of Noise: A Comprehensive, Automated, Formal Analysis of Diffie-Hellman Protocols. USENIX Security Symposium (2020)
Carmela Troncoso, Mathias Payer, Jean-Pierre Hubaux, Marcel Salathé, James R. Larus, Wouter Lueks, Theresa Stadler, Apostolos Pyrgelis, Daniele Antonioli, Ludovic Barman, Sylvain Chatel, Kenneth G. Paterson, Srdjan Capkun, David A. Basin, Jan Beutel, Dennis Jackson, Marc Roeschlin, Patrick Leu, Bart Preneel, Nigel P. Smart, Aysajan Abidin, Seda Gurses, Michael Veale, Cas Cremers, Michael Backes, Nils Ole Tippenhauer, Reuben Binns, Ciro Cattuto, Alain Barrat, Dario Fiore, Manuel Barbosa, Rui Oliveira, José Pereira
Decentralized Privacy-Preserving Proximity Tracing. IEEE Data Eng. Bull. 43 (2) (2020)
Lucca Hirschi, Cas Cremers
Improving Automated Symbolic Analysis of Ballot Secrecy for E-Voting Protocols: A Method Based on Sufficient Conditions. EuroS&P (2019)
Katriel Cohn-Gordon, Cas Cremers, Kristian Gjøsteen, Håkon Jacobsen, Tibor Jager
Highly Efficient Key Exchange Protocols with Optimal Tightness. CRYPTO (3) (2019)
Cas Cremers, Britta Hale, Konrad Kohbrok
Revisiting Post-Compromise Security Guarantees in Group Messaging. IACR Cryptol. ePrint Arch. 2019 (2019)
Manuel Barbosa, Gilles Barthe, Karthikeyan Bhargavan, Bruno Blanchet, Cas Cremers, Kevin Liao, Bryan Parno
SoK: Computer-Aided Cryptography. IACR Cryptol. ePrint Arch. 2019 (2019)
Dennis Jackson, Cas Cremers, Katriel Cohn-Gordon, Ralf Sasse
Seems Legit: Automated Analysis of Subtle Attacks on Protocols that Use Signatures. IACR Cryptol. ePrint Arch. 2019 (2019)
Cas Cremers, Dennis Jackson
Prime, Order Please! Revisiting Small Subgroup and Invalid Curve Attacks on Protocols using Diffie-Hellman. IACR Cryptol. ePrint Arch. 2019 (2019)
Dennis Jackson, Cas Cremers, Katriel Cohn-Gordon, Ralf Sasse
Seems Legit: Automated Analysis of Subtle Attacks on Protocols that Use Signatures. CCS (2019)
Cas Cremers, Martin Dehnel-Wild, Kevin Milner
Secure authentication in the grid: A formal analysis of DNP3 SAv5. J. Comput. Secur. 27 (2) (2019)
Katriel Cohn-Gordon, Cas Cremers, Kristian Gjøsteen, Håkon Jacobsen, Tibor Jager
Highly Efficient Key Exchange Protocols with Optimal Tightness - Enabling real-world deployments with theoretically sound parameters. IACR Cryptol. ePrint Arch. 2019 (2019)
Cas Cremers, Dennis Jackson
Prime, Order Please! Revisiting Small Subgroup and Invalid Curve Attacks on Protocols using Diffie-Hellman. CSF (2019)
Cas Cremers, Martin Dehnel-Wild
Component-Based Formal Analysis of 5G-AKA: Channel Assumptions and Session Confusion. NDSS (2019)
Katriel Cohn-Gordon, Cas Cremers, Luke Garratt, Jon Millican, Kevin Milner
On Ends-to-Ends Encryption: Asynchronous Group Messaging with Strong Security Guarantees. CCS (2018)
Thanh Binh Nguyen, Christoph Sprenger, Cas Cremers
Abstractions for security protocol verification. J. Comput. Secur. 26 (4) (2018)
Michèle Feltz, Cas Cremers
Strengthening the security of authenticated key exchange against bad randomness. Des. Codes Cryptogr. 86 (3) (2018)
David A. Basin, Cas Cremers, Tiffany Hyun-Jin Kim, Adrian Perrig, Ralf Sasse, Pawel Szalachowski
Design, Analysis, and Implementation of ARPKI: An Attack-Resilient Public-Key Infrastructure. IEEE Trans. Dependable Secur. Comput. 15 (3) (2018)
Ilias Giechaskiel, Cas Cremers, Kasper Bonne Rasmussen
When the Crypto in Cryptocurrencies Breaks: Bitcoin Security under Broken Primitives. IEEE Secur. Priv. 16 (4) (2018)
Liliya R. Akhmetzyanova, Cas Cremers, Luke Garratt, Stanislav V. Smyshlyaev
Security Analysis for Randomness Improvements for Security Protocols. IACR Cryptol. ePrint Arch. 2018 (2018)
Jiangshan Yu, Mark Ryan, Cas Cremers
DECIM: Detecting Endpoint Compromise In Messaging. IEEE Trans. Inf. Forensics Secur. 13 (1) (2018)
David A. Basin, Cas Cremers, Jannik Dreier, Ralf Sasse
Symbolically analyzing security protocols using tamarin. ACM SIGLOG News 4 (4) (2017)
Kevin Milner, Cas Cremers, Jiangshan Yu, Mark Ryan
Automatically Detecting the Misuse of Secrets: Foundations, Design Principles, and Applications. IACR Cryptol. ePrint Arch. 2017 (2017)
Colin Boyd, Cas Cremers, Michèle Feltz, Kenneth G. Paterson, Bertram Poettering, Douglas Stebila
ASICS: authenticated key exchange security incorporating certification systems. Int. J. Inf. Sec. 16 (2) (2017)
Cas Cremers, Lucca Hirschi
Improving Automated Symbolic Analysis for E-voting Protocols: A Method Based on Sufficient Conditions for Ballot Secrecy. CoRR (2017)
Katriel Cohn-Gordon, Cas Cremers, Luke Garratt, Jon Millican, Kevin Milner
On Ends-to-Ends Encryption: Asynchronous Group Messaging with Strong Security Guarantees. IACR Cryptol. ePrint Arch. 2017 (2017)
Cas Cremers, Marko Horvat, Jonathan Hoyland, Sam Scott, Thyla van der Merwe
A Comprehensive Symbolic Analysis of TLS 1.3. CCS (2017)
Kevin Milner, Cas Cremers, Jiangshan Yu, Mark Ryan
Automatically Detecting the Misuse of Secrets: Foundations, Design Principles, and Applications. CSF (2017)
Cas Cremers, Martin Dehnel-Wild, Kevin Milner
Secure Authentication in the Grid: A Formal Analysis of DNP3: SAv5. ESORICS (1) (2017)
Katriel Cohn-Gordon, Cas Cremers
Mind the Gap: Where Provable Security and Real-World Messaging Don't Quite Meet. IACR Cryptol. ePrint Arch. 2017 (2017)
Katriel Cohn-Gordon, Cas Cremers, Benjamin Dowling, Luke Garratt, Douglas Stebila
A Formal Security Analysis of the Signal Messaging Protocol. EuroS&P (2017)
Cas Cremers
Symbolic security analysis using the Tamarin prover. FMCAD (2017)
Hanshen Xiao, Cas Cremers, Hari Krishna Garg
Symmetric polynomial & CRT based algorithms for multiple frequency determination from undersampled waveforms. GlobalSIP (2016)
Cas Cremers, Marko Horvat, Sam Scott, Thyla van der Merwe
Automated Analysis and Verification of TLS 1.3: 0-RTT, Resumption and Delayed Authentication. IEEE Symposium on Security and Privacy (2016)
Ilias Giechaskiel, Cas Cremers, Kasper Bonne Rasmussen
On Bitcoin Security in the Presence of Broken Cryptographic Primitives. ESORICS (2) (2016)
Katriel Cohn-Gordon, Cas Cremers, Luke Garratt
On Post-Compromise Security. IACR Cryptol. ePrint Arch. 2016 (2016)
Ilias Giechaskiel, Cas Cremers, Kasper Bonne Rasmussen
On Bitcoin Security in the Presence of Broken Crypto Primitives. IACR Cryptol. ePrint Arch. 2016 (2016)
Katriel Cohn-Gordon, Cas Cremers, Luke Garratt
On Post-compromise Security. CSF (2016)
Katriel Cohn-Gordon, Cas Cremers, Benjamin Dowling, Luke Garratt, Douglas Stebila
A Formal Security Analysis of the Signal Messaging Protocol. IACR Cryptol. ePrint Arch. 2016 (2016)
Cas Cremers, Marko Horvat
Improving the ISO/IEC 11770 standard for key management techniques. Int. J. Inf. Sec. 15 (6) (2016)
Cas Cremers, Michèle Feltz
Beyond eCK: perfect forward secrecy under actor compromise and ephemeral-key reveal. Des. Codes Cryptogr. 74 (1) (2015)
Jiangshan Yu, Mark Ryan, Cas Cremers
How to detect unauthorised usage of a key. IACR Cryptol. ePrint Arch. 2015 (2015)
David A. Basin, Cas Cremers, Kunihiko Miyazaki, Sasa Radomirovic, Dai Watanabe
Improving the Security of Cryptographic Protocol Standards. IEEE Secur. Priv. 13 (3) (2015)
Andrew C. Simpson, Andrew P. Martin, Cas Cremers, Ivan Flechais, Ivan Martinovic, Kasper Bonne Rasmussen
Experiences in Developing and Delivering a Programme of Part-Time Education in Software and Systems Security. ICSE (2) (2015)
David A. Basin, Cas Cremers, Marko Horvat
Actor Key Compromise: Consequences and Countermeasures. CSF (2014)
Cas Cremers, Marko Horvat
Improving the ISO/IEC 11770 Standard for Key Management Techniques. SSR (2014)
Michèle Feltz, Cas Cremers
On the Limits of Authenticated Key Exchange Security with an Application to Bad Randomness. IACR Cryptol. ePrint Arch. 2014 (2014)
David A. Basin, Cas Cremers, Tiffany Hyun-Jin Kim, Adrian Perrig, Ralf Sasse, Pawel Szalachowski
ARPKI: Attack Resilient Public-Key Infrastructure. CCS (2014)
Benedikt Schmidt, Ralf Sasse, Cas Cremers, David A. Basin
Automated Verification of Group Key Agreement Protocols. IEEE Symposium on Security and Privacy (2014)
David A. Basin, Cas Cremers
Know Your Enemy: Compromising Adversaries in Protocol Analysis. ACM Trans. Inf. Syst. Secur. 17 (2) (2014)
Colin Boyd, Cas Cremers, Michèle Feltz, Kenneth G. Paterson, Bertram Poettering, Douglas Stebila
ASICS: Authenticated Key Exchange Security Incorporating Certification Systems. IACR Cryptol. ePrint Arch. 2013 (2013)
Simon Meier, Benedikt Schmidt, Cas Cremers, David A. Basin
The TAMARIN Prover for the Symbolic Analysis of Security Protocols. CAV (2013)
David A. Basin, Cas Cremers, Simon Meier
Provably repairing the ISO/IEC 9798 standard for entity authentication. J. Comput. Secur. 21 (6) (2013)
Colin Boyd, Cas Cremers, Michèle Feltz, Kenneth G. Paterson, Bertram Poettering, Douglas Stebila
ASICS: Authenticated Key Exchange Security Incorporating Certification Systems. ESORICS (2013)
Simon Meier, Cas Cremers, David A. Basin
Efficient construction of machine-checked symbolic protocol security proofs. J. Comput. Secur. 21 (1) (2013)
Cas Cremers, Kasper Bonne Rasmussen, Srdjan Capkun
Distance Hijacking Attacks on Distance Bounding Protocols. NDSS (2012)
Benedikt Schmidt, Simon Meier, Cas Cremers, David A. Basin
Automated Analysis of Diffie-Hellman Protocols and Advanced Security Properties. CSF (2012)
Cas Cremers, Kasper Bonne Rasmussen, Benedikt Schmidt, Srdjan Capkun
Distance Hijacking Attacks on Distance Bounding Protocols. IEEE Symposium on Security and Privacy (2012)
Cas Cremers, Michèle Feltz
Beyond eCK: Perfect Forward Secrecy under Actor Compromise and Ephemeral-Key Reveal. IACR Cryptol. ePrint Arch. 2012 (2012)
Cas Cremers, Michèle Feltz
Beyond eCK: Perfect Forward Secrecy under Actor Compromise and Ephemeral-Key Reveal. ESORICS (2012)
David A. Basin, Cas Cremers, Simon Meier
Provably Repairing the ISO/IEC 9798 Standard for Entity Authentication. POST (2012)
Cas Cremers
Examining indistinguishability-based security models for key exchange protocols: the case of CK, CK-HMQV, and eCK. AsiaCCS (2011)
Cas Cremers, Kasper Bonne Rasmussen, Srdjan Capkun
Distance Hijacking Attacks on Distance Bounding Protocols. IACR Cryptol. ePrint Arch. 2011 (2011)
Cas Cremers
Key Exchange in IPsec Revisited: Formal Analysis of IKEv1 and IKEv2. ESORICS (2011)

Cas Cremers.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Cas Cremers