Cas Cremers

Google Scholar
43 publications in security and cryptology related venues
Year
Venue
Title
2025
conf/sp
Impossibility Results for Post-Compromise Security in Real-World Communication Systems.
Cas Cremers Niklas Medinger Aurora Naska
2025
conf/sp
Token Weaver: Privacy Preserving and Post-Compromise Secure Attestation.
Cas Cremers Gal Horowitz Charlie Jacomme Eyal Ronen
2024
conf/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
conf/sp
Secure Messaging with Strong Compromise Resilience, Temporal Privacy, and Immediate Decryption.
Cas Cremers Mang Zhao
2024
conf/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
conf/eurocrypt
A Holistic Security Analysis of Monero Transactions.
Cas Cremers Julian Loss Benedikt Wagner
2023
conf/uss
Automated Analysis of Protocols that use Authenticated Encryption: How Subtle AEAD Differences can impact Protocol Security.
Cas Cremers Alexander Dax Charlie Jacomme Mang Zhao
2023
conf/uss
Formal Analysis of SPDM: Security Protocol and Data Model version 1.2.
Cas Cremers Alexander Dax Aurora Naska
2023
conf/uss
Formal Analysis of Session-Handling in Secure Messaging: Lifting Security from Sessions to Conversations.
Cas Cremers Charlie Jacomme Aurora Naska
2023
conf/uss
Hash Gone Bad: Automated discovery of protocol attacks that exploit hash function weaknesses.
Vincent Cheval Cas Cremers Alexander Dax Lucca Hirschi Charlie Jacomme Steve Kremer
2023
conf/sp
FIDO2, CTAP 2.1, and WebAuthn 2: Provable Security and Post-Quantum Instantiation.
Nina Bindel Cas Cremers Mang Zhao
2022
conf/crypto
CHIP and CRISP: Protecting All Parties Against Compromise Through Identity-Binding PAKEs.
Cas Cremers Moni Naor Shahar Paz Eyal Ronen
2022
conf/sp
A Logic and an Interactive Prover for the Computational Post-Quantum Security of Protocols.
Cas Cremers Caroline Fontaine Charlie Jacomme
2021
conf/uss
The Complexities of Healing in Secure Group Messaging: Why Cross-Group Effects Matter.
Cas Cremers Britta Hale Konrad Kohbrok
2021
conf/sp
SoK: Computer-Aided Cryptography.
Manuel Barbosa Gilles Barthe Karthik Bhargavan Bruno Blanchet Cas Cremers Kevin Liao Bryan Parno
2021
conf/sp
The Provable Security of Ed25519: Theory and Practice.
Jacqueline Brendel Cas Cremers Dennis Jackson Mang Zhao
2021
conf/sp
BUFFing signature schemes beyond unforgeability and the case of post-quantum signatures.
Cas Cremers Samed Düzlü Rune Fiedler Marc Fischlin Christian Janson
2020
journals/joc
A Formal Security Analysis of the Signal Messaging Protocol.
Katriel Cohn-Gordon Cas Cremers Benjamin Dowling Luke Garratt Douglas Stebila
2020
conf/ccs
Clone Detection in Secure Messaging: Improving Post-Compromise Security in Practice.
Cas Cremers Jaiden Fairoze Benjamin Kiesl Aurora Naska
2020
conf/uss
A Spectral Analysis of Noise: A Comprehensive, Automated, Formal Analysis of Diffie-Hellman Protocols.
Guillaume Girol Lucca Hirschi Ralf Sasse Dennis Jackson Cas Cremers David A. Basin
2020
conf/uss
A Formal Analysis of IEEE 802.11's WPA2: Countering the Kracks Caused by Cracking the Counters.
Cas Cremers Benjamin Kiesl Niklas Medinger
2019
conf/ccs
Seems Legit: Automated Analysis of Subtle Attacks on Protocols that Use Signatures.
Dennis Jackson Cas Cremers Katriel Cohn-Gordon Ralf Sasse
2019
conf/crypto
Highly Efficient Key Exchange Protocols with Optimal Tightness.
Katriel Cohn-Gordon Cas Cremers Kristian Gjøsteen Håkon Jacobsen Tibor Jager
2019
conf/eurosp
Improving Automated Symbolic Analysis of Ballot Secrecy for E-Voting Protocols: A Method Based on Sufficient Conditions.
Lucca Hirschi Cas Cremers
2019
conf/ndss
Component-Based Formal Analysis of 5G-AKA: Channel Assumptions and Session Confusion.
Cas Cremers Martin Dehnel-Wild
2018
journals/tifs
DECIM: Detecting Endpoint Compromise In Messaging.
Jiangshan Yu Mark Ryan Cas Cremers
2018
conf/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
conf/ccs
A Comprehensive Symbolic Analysis of TLS 1.3.
Cas Cremers Marko Horvat Jonathan Hoyland Sam Scott Thyla van der Merwe
2017
conf/eurosp
A Formal Security Analysis of the Signal Messaging Protocol.
Katriel Cohn-Gordon Cas Cremers Benjamin Dowling Luke Garratt Douglas Stebila
2017
conf/esorics
Secure Authentication in the Grid: A Formal Analysis of DNP3: SAv5.
Cas Cremers Martin Dehnel-Wild Kevin Milner
2016
conf/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
2016
conf/esorics
On Bitcoin Security in the Presence of Broken Cryptographic Primitives.
Ilias Giechaskiel Cas Cremers Kasper Bonne Rasmussen
2014
conf/ccs
ARPKI: Attack Resilient Public-Key Infrastructure.
David A. Basin Cas Cremers Tiffany Hyun-Jin Kim Adrian Perrig Ralf Sasse Pawel Szalachowski
2014
conf/sp
Automated Verification of Group Key Agreement Protocols.
Benedikt Schmidt Ralf Sasse Cas Cremers David A. Basin
2013
conf/esorics
ASICS: Authenticated Key Exchange Security Incorporating Certification Systems.
Colin Boyd Cas Cremers Michèle Feltz Kenneth G. Paterson Bertram Poettering Douglas Stebila
2012
conf/sp
Distance Hijacking Attacks on Distance Bounding Protocols.
Cas Cremers Kasper Bonne Rasmussen Benedikt Schmidt Srdjan Capkun
2012
conf/esorics
Beyond eCK: Perfect Forward Secrecy under Actor Compromise and Ephemeral-Key Reveal.
Cas Cremers Michèle Feltz
2012
conf/ndss
Distance Hijacking Attacks on Distance Bounding Protocols.
Cas Cremers Kasper Bonne Rasmussen Srdjan Capkun
2011
conf/ccs
Examining indistinguishability-based security models for key exchange protocols: the case of CK, CK-HMQV, and eCK.
Cas Cremers
2011
conf/esorics
Key Exchange in IPsec Revisited: Formal Analysis of IKEv1 and IKEv2.
Cas Cremers
2010
conf/esorics
Modeling and Analyzing Security in the Presence of Compromising Adversaries.
David A. Basin Cas Cremers
2010
conf/acsac
Keeping data secret under full compromise using porter devices.
Christina Pöpper David A. Basin Srdjan Capkun Cas Cremers
2008
conf/ccs
On the protocol composition logic PCL.
Cas Cremers

Coauthors

Adrian Perrig (1)
Alexander Dax (4)
Aurora Naska (4)
Benedikt Schmidt (2)
Benedikt Wagner (1)
Benjamin Dowling (2)
Benjamin Kiesl (2)
Bertram Poettering (1)
Britta Hale (1)
Bruno Blanchet (1)
Bryan Parno (1)
Caroline Fontaine (1)
Cas Cremers (43)
Charlie Jacomme (5)
Christian Janson (1)
Christina Pöpper (1)
Colin Boyd (1)
David A. Basin (5)
Dennis Jackson (3)
Douglas Stebila (3)
Eyal Ronen (3)
Gal Horowitz (1)
Gilles Barthe (1)
Guillaume Girol (1)
Håkon Jacobsen (1)
Ilias Giechaskiel (1)
Jacqueline Brendel (1)
Jaiden Fairoze (1)
Jiangshan Yu (1)
Jon Millican (1)
Jonathan Hoyland (1)
Julian Loss (1)
Karthik Bhargavan (1)
Kasper Bonne Rasmussen (3)
Katriel Cohn-Gordon (5)
Kenneth G. Paterson (1)
Kevin Liao (1)
Kevin Milner (2)
Konrad Kohbrok (1)
Kristian Gjøsteen (1)
Lucca Hirschi (3)
Luke Garratt (3)
Mang Zhao (5)
Manuel Barbosa (1)
Marc Fischlin (1)
Mark Ryan (1)
Marko Horvat (2)
Martin Dehnel-Wild (2)
Michèle Feltz (2)
Moni Naor (1)
Niklas Medinger (3)
Nina Bindel (1)
Pawel Szalachowski (1)
Ralf Sasse (4)
Rune Fiedler (1)
Sam Scott (2)
Samed Düzlü (1)
Shahar Paz (1)
Srdjan Capkun (3)
Steve Kremer (1)
Thyla van der Merwe (2)
Tibor Jager (1)
Tiffany Hyun-Jin Kim (1)
Vincent Cheval (1)
Filters
Select all Unselect all
Years:  to