default search action

combined dblp search
author search
venue search
publication search

ask others

Cas Cremers

Cas J. F. Cremers

> Home > Persons

Person information

affiliation: CISPA Helmholtz Center for Information Security, Germany
affiliation: Saarland University, Computer Science Department, Germany
affiliation (former): University of Oxford, UK
affiliation (former): ETH Zurich, Switzerland

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2012
[b1]
- view
  authority control:
- export record
  dblp key:
  - books/sp/Cremers12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/Cremers12
Cas Cremers, Sjouke Mauw:
Operational Semantics and Verification of Security Protocols. Information Security and Cryptography, Springer 2012, ISBN 978-3-540-78636-8, pp. 1-155

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2022
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/TroncosoBBCCGHJ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/TroncosoBBCCGHJ22
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): 48-57 (2022)
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/ieeesp/BasinCDS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieeesp/BasinCDS22
David A. Basin, Cas Cremers, Jannik Dreier, Ralf Sasse:
Tamarin: Verification of Large-Scale, Real-World, Cryptographic Protocols. IEEE Secur. Priv. 20(3): 24-32 (2022)
2020
[j19]
- view
  - electronic edition @ computer.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/debu/TroncosoPHSLLSP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/debu/TroncosoPHSLLSP20
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): 36-66 (2020)
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/joc/Cohn-GordonCDGS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/joc/Cohn-GordonCDGS20
Katriel Cohn-Gordon, Cas Cremers, Benjamin Dowling, Luke Garratt, Douglas Stebila:
A Formal Security Analysis of the Signal Messaging Protocol. J. Cryptol. 33(4): 1914-1983 (2020)
2019
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/jcs/CremersDM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcs/CremersDM19
Cas Cremers, Martin Dehnel-Wild, Kevin Milner:
Secure authentication in the grid: A formal analysis of DNP3 SAv5. J. Comput. Secur. 27(2): 203-232 (2019)
2018
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/dcc/FeltzC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dcc/FeltzC18
Michèle Feltz, Cas Cremers:
Strengthening the security of authenticated key exchange against bad randomness. Des. Codes Cryptogr. 86(3): 481-516 (2018)
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/ieeesp/GiechaskielCR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieeesp/GiechaskielCR18
Ilias Giechaskiel, Cas Cremers, Kasper Bonne Rasmussen:
When the Crypto in Cryptocurrencies Breaks: Bitcoin Security under Broken Primitives. IEEE Secur. Priv. 16(4): 46-56 (2018)
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/jcs/NguyenSC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcs/NguyenSC18
Thanh Binh Nguyen, Christoph Sprenger, Cas Cremers:
Abstractions for security protocol verification. J. Comput. Secur. 26(4): 459-508 (2018)
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/tdsc/BasinCKPSS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tdsc/BasinCKPSS18
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): 393-408 (2018)
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/tifs/YuRC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tifs/YuRC18
Jiangshan Yu, Mark Ryan, Cas Cremers:
DECIM: Detecting Endpoint Compromise In Messaging. IEEE Trans. Inf. Forensics Secur. 13(1): 106-118 (2018)
2017
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/ijisec/BoydCFPPS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijisec/BoydCFPPS17
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): 151-171 (2017)
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/BasinCDS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/BasinCDS17
David A. Basin, Cas Cremers, Jannik Dreier, Ralf Sasse:
Symbolically analyzing security protocols using tamarin. ACM SIGLOG News 4(4): 19-30 (2017)
2016
[j9]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/ijisec/CremersH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijisec/CremersH16
Cas Cremers, Marko Horvat:
Improving the ISO/IEC 11770 standard for key management techniques. Int. J. Inf. Sec. 15(6): 659-673 (2016)
2015
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/dcc/CremersF15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dcc/CremersF15
Cas Cremers, Michèle Feltz:
Beyond eCK: perfect forward secrecy under actor compromise and ephemeral-key reveal. Des. Codes Cryptogr. 74(1): 183-218 (2015)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/ieeesp/BasinCMRW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieeesp/BasinCMRW15
David A. Basin, Cas Cremers, Kunihiko Miyazaki, Sasa Radomirovic, Dai Watanabe:
Improving the Security of Cryptographic Protocol Standards. IEEE Secur. Priv. 13(3): 24-31 (2015)
2014
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/tissec/BasinC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tissec/BasinC14
David A. Basin, Cas Cremers:
Know Your Enemy: Compromising Adversaries in Protocol Analysis. ACM Trans. Inf. Syst. Secur. 17(2): 7:1-7:31 (2014)
2013
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/jcs/MeierCB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcs/MeierCB13
Simon Meier, Cas Cremers, David A. Basin:
Efficient construction of machine-checked symbolic protocol security proofs. J. Comput. Secur. 21(1): 41-87 (2013)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/jcs/BasinCM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcs/BasinCM13
David A. Basin, Cas Cremers, Simon Meier:
Provably repairing the ISO/IEC 9798 standard for entity authentication. J. Comput. Secur. 21(6): 817-846 (2013)
2010
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/ijact/Cremers10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijact/Cremers10
Cas J. F. Cremers:
Session-StateReveal is stronger than eCKs EphemeralKeyReveal: using automatic analysis to attack the NAXOS protocol. Int. J. Appl. Cryptogr. 2(2): 83-99 (2010)
2008
[j2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/AndovaCGMMR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/AndovaCGMMR08
Suzana Andova, Cas Cremers, Kristian Gjøsteen, Sjouke Mauw, Stig Fr. Mjølsnes, Sasa Radomirovic:
A framework for compositional verification of security protocols. Inf. Comput. 206(2-4): 425-459 (2008)
2006
[j1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/CremersMV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/CremersMV06
Cas J. F. Cremers, Sjouke Mauw, Erik P. de Vink:
Injective synchronisation: An extension of the authentication hierarchy. Theor. Comput. Sci. 367(1-2): 139-161 (2006)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2025
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/BrzuskaCJSW25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/BrzuskaCJSW25
Chris Brzuska, Cas Cremers, Håkon Jacobsen, Douglas Stebila, Bogdan Warinschi:
Falsifiability, Composability, and Comparability of Game-Based Security Models for Key Exchange Protocols. Information Security in a Connected World 2025: 214-255
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/CremersHJR25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/CremersHJR25
Cas Cremers, Gal Horowitz, Charlie Jacomme, Eyal Ronen:
Token Weaver: Privacy Preserving and Post-Compromise Secure Attestation. SP 2025: 4173-4191
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/CremersMN25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/CremersMN25
Cas Cremers, Niklas Medinger, Aurora Naska:
Impossibility Results for Post-Compromise Security in Real-World Communication Systems. SP 2025: 4391-4405
2024
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/CremersDM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/CremersDM24
Cas Cremers, Alexander Dax, Niklas Medinger:
Keeping Up with the KEMs: Stronger Security Notions for KEMs and Automated Analysis of KEM-based Protocols. CCS 2024: 1046-1060
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/eurocrypt/CremersLW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurocrypt/CremersLW24
Cas Cremers, Julian Loss, Benedikt Wagner:
A Holistic Security Analysis of Monero Transactions. EUROCRYPT (3) 2024: 129-159
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/CremersZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/CremersZ24
Cas Cremers, Mang Zhao:
Secure Messaging with Strong Compromise Resilience, Temporal Privacy, and Immediate Decryption. SP 2024: 2591-2609
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/CremersRZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/CremersRZ24
Cas Cremers, Eyal Ronen, Mang Zhao:
Multi-Stage Group Key Distribution and PAKEs: Securing Zoom Groups against Malicious Servers without New Security Elements. SP 2024: 2686-2704
2023
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/CremersJL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/CremersJL23
Cas Cremers, Charlie Jacomme, Philip Lukert:
Subterm-Based Proof Techniques for Improving the Automation and Scope of Security Protocol Analysis. CSF 2023: 200-213
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/BindelCZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/BindelCZ23
Nina Bindel, Cas Cremers, Mang Zhao:
FIDO2, CTAP 2.1, and WebAuthn 2: Provable Security and Post-Quantum Instantiation. SP 2023: 1471-1490
[c58]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/uss/CremersJN23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uss/CremersJN23
Cas Cremers, Charlie Jacomme, Aurora Naska:
Formal Analysis of Session-Handling in Secure Messaging: Lifting Security from Sessions to Conversations. USENIX Security Symposium 2023: 1235-1252
[c57]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/uss/ChevalCDHJK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uss/ChevalCDHJK23
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: 5899-5916
[c56]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/uss/CremersDJZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uss/CremersDJZ23
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: 5935-5952
[c55]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/uss/CremersDN23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uss/CremersDN23
Cas Cremers, Alexander Dax, Aurora Naska:
Formal Analysis of SPDM: Security Protocol and Data Model version 1.2. USENIX Security Symposium 2023: 6611-6628
2022
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/crypto/CremersNPR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/crypto/CremersNPR22
Cas Cremers, Moni Naor, Shahar Paz, Eyal Ronen:
CHIP and CRISP: Protecting All Parties Against Compromise Through Identity-Binding PAKEs. CRYPTO (2) 2022: 668-698
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/CremersFJ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/CremersFJ22
Cas Cremers, Caroline Fontaine, Charlie Jacomme:
A Logic and an Interactive Prover for the Computational Post-Quantum Security of Protocols. SP 2022: 125-141
2021
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/BarbosaBBBCLP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/BarbosaBBBCLP21
Manuel Barbosa, Gilles Barthe, Karthik Bhargavan, Bruno Blanchet, Cas Cremers, Kevin Liao, Bryan Parno:
SoK: Computer-Aided Cryptography. SP 2021: 777-795
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/BrendelCJZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/BrendelCJZ21
Jacqueline Brendel, Cas Cremers, Dennis Jackson, Mang Zhao:
The Provable Security of Ed25519: Theory and Practice. SP 2021: 1659-1676
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/CremersDFFJ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/CremersDFFJ21
Cas Cremers, Samed Düzlü, Rune Fiedler, Marc Fischlin, Christian Janson:
BUFFing signature schemes beyond unforgeability and the case of post-quantum signatures. SP 2021: 1696-1714
[c49]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/uss/CremersHK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uss/CremersHK21
Cas Cremers, Britta Hale, Konrad Kohbrok:
The Complexities of Healing in Secure Group Messaging: Why Cross-Group Effects Matter. USENIX Security Symposium 2021: 1847-1864
2020
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/CremersFKN20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/CremersFKN20
Cas Cremers, Jaiden Fairoze, Benjamin Kiesl, Aurora Naska:
Clone Detection in Secure Messaging: Improving Post-Compromise Security in Practice. CCS 2020: 1481-1495
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/AkhmetzyanovaCG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/AkhmetzyanovaCG20
Liliya R. Akhmetzyanova, Cas Cremers, Luke Garratt, Stanislav Smyshlyaev, Nick Sullivan:
Limiting the impact of unreliable randomness in deployed security protocols. CSF 2020: 277-287
[c46]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/uss/CremersKM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uss/CremersKM20
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: 1-17
[c45]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/uss/GirolHSJCB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uss/GirolHSJCB20
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: 1857-1874
2019
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/JacksonCCS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/JacksonCCS19
Dennis Jackson, Cas Cremers, Katriel Cohn-Gordon, Ralf Sasse:
Seems Legit: Automated Analysis of Subtle Attacks on Protocols that Use Signatures. CCS 2019: 2165-2180
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/crypto/Cohn-GordonCGJJ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/crypto/Cohn-GordonCGJJ19
Katriel Cohn-Gordon, Cas Cremers, Kristian Gjøsteen, Håkon Jacobsen, Tibor Jager:
Highly Efficient Key Exchange Protocols with Optimal Tightness. CRYPTO (3) 2019: 767-797
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/CremersJ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/CremersJ19
Cas Cremers, Dennis Jackson:
Prime, Order Please! Revisiting Small Subgroup and Invalid Curve Attacks on Protocols using Diffie-Hellman. CSF 2019: 78-93
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/eurosp/HirschiC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurosp/HirschiC19
Lucca Hirschi, Cas Cremers:
Improving Automated Symbolic Analysis of Ballot Secrecy for E-Voting Protocols: A Method Based on Sufficient Conditions. EuroS&P 2019: 635-650
[c40]
- view
  - electronic edition @ ndss-symposium.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ndss/CremersD19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ndss/CremersD19
Cas Cremers, Martin Dehnel-Wild:
Component-Based Formal Analysis of 5G-AKA: Channel Assumptions and Session Confusion. NDSS 2019
2018
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/Cohn-GordonCGMM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/Cohn-GordonCGMM18
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: 1802-1819
2017
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/CremersHHSM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/CremersHHSM17
Cas Cremers, Marko Horvat, Jonathan Hoyland, Sam Scott, Thyla van der Merwe:
A Comprehensive Symbolic Analysis of TLS 1.3. CCS 2017: 1773-1788
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/MilnerCYR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/MilnerCYR17
Kevin Milner, Cas Cremers, Jiangshan Yu, Mark Ryan:
Automatically Detecting the Misuse of Secrets: Foundations, Design Principles, and Applications. CSF 2017: 203-216
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/esorics/CremersDM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esorics/CremersDM17
Cas Cremers, Martin Dehnel-Wild, Kevin Milner:
Secure Authentication in the Grid: A Formal Analysis of DNP3: SAv5. ESORICS (1) 2017: 389-407
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/eurosp/Cohn-GordonCDGS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurosp/Cohn-GordonCDGS17
Katriel Cohn-Gordon, Cas Cremers, Benjamin Dowling, Luke Garratt, Douglas Stebila:
A Formal Security Analysis of the Signal Messaging Protocol. EuroS&P 2017: 451-466
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/Cremers17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/Cremers17
Cas Cremers:
Symbolic security analysis using the Tamarin prover. FMCAD 2017: 5
2016
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/Cohn-GordonCG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/Cohn-GordonCG16
Katriel Cohn-Gordon, Cas Cremers, Luke Garratt:
On Post-compromise Security. CSF 2016: 164-178
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/esorics/GiechaskielCR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esorics/GiechaskielCR16
Ilias Giechaskiel, Cas Cremers, Kasper Bonne Rasmussen:
On Bitcoin Security in the Presence of Broken Cryptographic Primitives. ESORICS (2) 2016: 201-222
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/globalsip/XiaoCG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/globalsip/XiaoCG16
Hanshen Xiao, Cas Cremers, Hari Krishna Garg:
Symmetric polynomial & CRT based algorithms for multiple frequency determination from undersampled waveforms. GlobalSIP 2016: 202-206
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/CremersHSM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/CremersHSM16
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: 470-485
2015
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/SimpsonMCFMR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/SimpsonMCFMR15
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: 435-444
2014
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/BasinCKPSS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/BasinCKPSS14
David A. Basin, Cas Cremers, Tiffany Hyun-Jin Kim, Adrian Perrig, Ralf Sasse, Pawel Szalachowski:
ARPKI: Attack Resilient Public-Key Infrastructure. CCS 2014: 382-393
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/BasinCH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/BasinCH14
David A. Basin, Cas Cremers, Marko Horvat:
Actor Key Compromise: Consequences and Countermeasures. CSF 2014: 244-258
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/secsr/CremersH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/secsr/CremersH14
Cas Cremers, Marko Horvat:
Improving the ISO/IEC 11770 Standard for Key Management Techniques. SSR 2014: 215-235
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/SchmidtSCB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/SchmidtSCB14
Benedikt Schmidt, Ralf Sasse, Cas Cremers, David A. Basin:
Automated Verification of Group Key Agreement Protocols. IEEE Symposium on Security and Privacy 2014: 179-194
2013
[c24]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/MeierSCB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/MeierSCB13
Simon Meier, Benedikt Schmidt, Cas Cremers, David A. Basin:
The TAMARIN Prover for the Symbolic Analysis of Security Protocols. CAV 2013: 696-701
[c23]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esorics/BoydCFPPS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esorics/BoydCFPPS13
Colin Boyd, Cas Cremers, Michèle Feltz, Kenneth G. Paterson, Bertram Poettering, Douglas Stebila:
ASICS: Authenticated Key Exchange Security Incorporating Certification Systems. ESORICS 2013: 381-399
2012
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/SchmidtMCB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/SchmidtMCB12
Benedikt Schmidt, Simon Meier, Cas Cremers, David A. Basin:
Automated Analysis of Diffie-Hellman Protocols and Advanced Security Properties. CSF 2012: 78-94
[c21]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esorics/CremersF12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esorics/CremersF12
Cas Cremers, Michèle Feltz:
Beyond eCK: Perfect Forward Secrecy under Actor Compromise and Ephemeral-Key Reveal. ESORICS 2012: 734-751
[c20]
- view
  - electronic edition @ ndss-symposium.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ndss/CremersRC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ndss/CremersRC12
Cas Cremers, Kasper Bonne Rasmussen, Srdjan Capkun:
Distance Hijacking Attacks on Distance Bounding Protocols. NDSS 2012
[c19]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/post/BasinCM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/post/BasinCM12
David A. Basin, Cas Cremers, Simon Meier:
Provably Repairing the ISO/IEC 9798 Standard for Entity Authentication. POST 2012: 129-148
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/CremersRSC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/CremersRSC12
Cas Cremers, Kasper Bonne Rasmussen, Benedikt Schmidt, Srdjan Capkun:
Distance Hijacking Attacks on Distance Bounding Protocols. IEEE Symposium on Security and Privacy 2012: 113-127
2011
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/Cremers11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/Cremers11
Cas Cremers:
Examining indistinguishability-based security models for key exchange protocols: the case of CK, CK-HMQV, and eCK. AsiaCCS 2011: 80-91
[c16]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esorics/Cremers11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esorics/Cremers11
Cas Cremers:
Key Exchange in IPsec Revisited: Formal Analysis of IKEv1 and IKEv2. ESORICS 2011: 315-334
2010
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/acsac/PopperBCC10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsac/PopperBCC10
Christina Pöpper, David A. Basin, Srdjan Capkun, Cas Cremers:
Keeping data secret under full compromise using porter devices. ACSAC 2010: 241-250
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/MeierCB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/MeierCB10
Simon Meier, Cas Cremers, David A. Basin:
Strong Invariants for the Efficient Construction of Machine-Checked Protocol Security Proofs. CSF 2010: 231-245
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/csl/BasinC10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/BasinC10
David A. Basin, Cas Cremers:
Degrees of Security: Protocol Guarantees in the Face of Compromising Adversaries. CSL 2010: 1-18
[c12]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esorics/BasinC10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esorics/BasinC10
David A. Basin, Cas Cremers:
Modeling and Analyzing Security in the Presence of Compromising Adversaries. ESORICS 2010: 340-356
2009
[c11]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/acns/Cremers09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acns/Cremers09
Cas J. F. Cremers:
Session-state Reveal Is Stronger Than Ephemeral Key Reveal: Attacking the NAXOS Authenticated Key Exchange Protocol. ACNS 2009: 20-33
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/psec/CremersLN09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/psec/CremersLN09
Cas J. F. Cremers, Pascal Lafourcade, Philippe Nadeau:
Comparing State Spaces in Automatic Security Protocol Analysis. Formal to Practical Security 2009: 70-94
2008
[c9]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/Cremers08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/Cremers08
Cas J. F. Cremers:
The Scyther Tool: Verification, Falsification, and Analysis of Security Protocols. CAV 2008: 414-418
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/Cremers08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/Cremers08
Cas Cremers:
On the protocol composition logic PCL. AsiaCCS 2008: 66-76
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/Cremers08a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/Cremers08a
Cas J. F. Cremers:
Unbounded verification, falsification, and characterization of security protocols by pattern refinement. CCS 2008: 119-128
2006
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEares/Cremers06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEares/Cremers06
Cas Cremers:
Feasibility of Multi-Protocol Attacks. ARES 2006: 287-294
2005
[c5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/MauwIC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/MauwIC06
Sjouke Mauw, Valérie Issarny, Cas Cremers:
Preface. STM 2005: 1-2
[c4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CremersMV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CremersMV05
Cas J. F. Cremers, Sjouke Mauw, Erik P. de Vink:
A Syntactic Criterion for Injectivity of Authentication Protocols. ARSPA@ICALP 2005: 23-38
2004
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/sam/CremersM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sam/CremersM04
Cas J. F. Cremers, Sjouke Mauw:
Checking Secrecy by Means of Partial Order Reduction. SAM 2004: 171-188
[c2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Cremers06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Cremers06
Cas Cremers:
Compositionality of Security Protocols: A Research Agenda. VODCA@FOSAD 2004: 99-110
2003
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/CremersM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/CremersM03
Cas Cremers, Sjouke Mauw:
Operational Semantics of Security Protocols. Scenarios: Models, Transformations and Tools 2003: 66-89

Parts in Books or Collections

see FAQ

What is the meaning of the colors in the publication lists?

2018
[p1]
- view
  authority control:
- export record
  dblp key:
  - reference/mc/BasinCM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/mc/BasinCM18
David A. Basin, Cas Cremers, Catherine Meadows:
Model Checking Security Protocols. Handbook of Model Checking 2018: 727-762

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2023
[e4]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/2023
Weizhi Meng, Christian Damsgaard Jensen, Cas Cremers, Engin Kirda:
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, CCS 2023, Copenhagen, Denmark, November 26-30, 2023. ACM 2023 [contents]
2022
[e3]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/2022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/2022
Heng Yin, Angelos Stavrou, Cas Cremers, Elaine Shi:
Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, CCS 2022, Los Angeles, CA, USA, November 7-11, 2022. ACM 2022, ISBN 978-1-4503-9450-5 [contents]
2018
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/secsr/2018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/secsr/2018
Cas Cremers, Anja Lehmann:
Security Standardisation Research - 4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings. Lecture Notes in Computer Science 11322, Springer 2018, ISBN 978-3-030-04761-0 [contents]
2006
[e1]
- view
- export record
  dblp key:
  - conf/stm/2005
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stm/2005
Sjouke Mauw, Valérie Issarny, Cas Cremers:
Proceedings of the First International Workshop on Security and Trust Management, STM 2005, Milan, Italy, September 15, 2005. Electronic Notes in Theoretical Computer Science 157(3), Elsevier 2006 [contents]

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2025
[i47]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/CremersGWZ25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/CremersGWZ25
Cas Cremers, Esra Günsay, Vera Wesselkamp, Mang Zhao:
ETK: External-Operations TreeKEM and the Security of MLS in RFC 9420. IACR Cryptol. ePrint Arch. 2025: 229 (2025)
2024
[i46]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/BrzuskaCJSW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/BrzuskaCJSW24
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: 1215 (2024)
[i45]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/GirolHSJCB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/GirolHSJCB24
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: 1226 (2024)
[i44]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/CremersMN24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/CremersMN24
Cas Cremers, Niklas Medinger, Aurora Naska:
Impossibility Results for Post-Compromise Security in Real-World Communication Systems. IACR Cryptol. ePrint Arch. 2024: 1886 (2024)
[i43]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/CremersPZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/CremersPZ24
Cas Cremers, Aleksi Peltonen, Mang Zhao:
An Extended Hierarchy of Security Notions for Threshold Signature Schemes and Automated Analysis of Protocols That Use Them. IACR Cryptol. ePrint Arch. 2024: 1920 (2024)
[i42]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/CremersDN24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/CremersDN24
Cas Cremers, Alexander Dax, Aurora Naska:
Breaking and Provably Restoring Authentication: A Formal Analysis of SPDM 1.2 including Cross-Protocol Attacks. IACR Cryptol. ePrint Arch. 2024: 2047 (2024)
2023
[i41]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/CremersLW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/CremersLW23
Cas Cremers, Julian Loss, Benedikt Wagner:
A Holistic Security Analysis of Monero Transactions. IACR Cryptol. ePrint Arch. 2023: 321 (2023)
[i40]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/CremersRZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/CremersRZ23
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: 1243 (2023)
[i39]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/CremersDJZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/CremersDJZ23
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: 1246 (2023)
[i38]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/CremersDM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/CremersDM23
Cas Cremers, Alexander Dax, Niklas Medinger:
Keeping Up with the KEMs: Stronger Security Notions for KEMs. IACR Cryptol. ePrint Arch. 2023: 1933 (2023)
2022
[i37]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/CremersFJ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/CremersFJ22
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: 401 (2022)
[i36]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/BindelCZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/BindelCZ22
Nina Bindel, Cas Cremers, Mang Zhao:
FIDO2, CTAP 2.1, and WebAuthn 2: Provable Security and Post-Quantum Instantiation. IACR Cryptol. ePrint Arch. 2022: 1029 (2022)
[i35]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/CremersJL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/CremersJL22
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: 1130 (2022)
[i34]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/ChevalCDHJK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/ChevalCDHJK22
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: 1314 (2022)
[i33]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/CremersZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/CremersZ22
Cas Cremers, Mang Zhao:
Provably Post-Quantum Secure Messaging with Strong Compromise Resilience and Immediate Decryption. IACR Cryptol. ePrint Arch. 2022: 1481 (2022)
[i32]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/CremersJR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/CremersJR22
Cas Cremers, Charlie Jacomme, Eyal Ronen:
TokenWeaver: Privacy Preserving and Post-Compromise Secure Attestation. IACR Cryptol. ePrint Arch. 2022: 1691 (2022)
[i31]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/CremersJN22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/CremersJN22
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: 1710 (2022)
[i30]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/CremersDN22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/CremersDN22
Cas Cremers, Alexander Dax, Aurora Naska:
Formal Analysis of SPDM: Security Protocol and Data Model version 1.2. IACR Cryptol. ePrint Arch. 2022: 1724 (2022)
2020
[i29]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2005-12273
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-12273
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 abs/2005.12273 (2020)
[i28]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/BrendelCJZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/BrendelCJZ20
Jacqueline Brendel, Cas Cremers, Dennis Jackson, Mang Zhao:
The Provable Security of Ed25519: Theory and Practice. IACR Cryptol. ePrint Arch. 2020: 823 (2020)
[i27]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/CremersDFFJ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/CremersDFFJ20
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: 1525 (2020)
[i26]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/rfc/rfc8937
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rfc/rfc8937
Cas Cremers, Luke Garratt, Stanislav Smyshlyaev, Nick Sullivan, Christopher A. Wood:
Randomness Improvements for Security Protocols. RFC 8937: 1-9 (2020)
2019
[i25]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/CremersHK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/CremersHK19
Cas Cremers, Britta Hale, Konrad Kohbrok:
Revisiting Post-Compromise Security Guarantees in Group Messaging. IACR Cryptol. ePrint Arch. 2019: 477 (2019)
[i24]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/CremersJ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/CremersJ19
Cas Cremers, Dennis Jackson:
Prime, Order Please! Revisiting Small Subgroup and Invalid Curve Attacks on Protocols using Diffie-Hellman. IACR Cryptol. ePrint Arch. 2019: 526 (2019)
[i23]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/Cohn-GordonCGJJ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/Cohn-GordonCGJJ19
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: 737 (2019)
[i22]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/JacksonCCS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/JacksonCCS19
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: 779 (2019)
[i21]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/BarbosaBBBCLP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/BarbosaBBBCLP19
Manuel Barbosa, Gilles Barthe, Karthikeyan Bhargavan, Bruno Blanchet, Cas Cremers, Kevin Liao, Bryan Parno:
SoK: Computer-Aided Cryptography. IACR Cryptol. ePrint Arch. 2019: 1393 (2019)
2018
[i20]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/AkhmetzyanovaCG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/AkhmetzyanovaCG18
Liliya R. Akhmetzyanova, Cas Cremers, Luke Garratt, Stanislav V. Smyshlyaev:
Security Analysis for Randomness Improvements for Security Protocols. IACR Cryptol. ePrint Arch. 2018: 1057 (2018)
2017
[i19]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1709-00194
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1709-00194
Cas Cremers, Lucca Hirschi:
Improving Automated Symbolic Analysis for E-voting Protocols: A Method Based on Sufficient Conditions for Ballot Secrecy. CoRR abs/1709.00194 (2017)
[i18]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/MilnerCYR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/MilnerCYR17
Kevin Milner, Cas Cremers, Jiangshan Yu, Mark Ryan:
Automatically Detecting the Misuse of Secrets: Foundations, Design Principles, and Applications. IACR Cryptol. ePrint Arch. 2017: 234 (2017)
[i17]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/Cohn-GordonCGMM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/Cohn-GordonCGMM17
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: 666 (2017)
[i16]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/Cohn-GordonC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/Cohn-GordonC17
Katriel Cohn-Gordon, Cas Cremers:
Mind the Gap: Where Provable Security and Real-World Messaging Don't Quite Meet. IACR Cryptol. ePrint Arch. 2017: 982 (2017)
2016
[i15]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/GiechaskielCR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/GiechaskielCR16
Ilias Giechaskiel, Cas Cremers, Kasper Bonne Rasmussen:
On Bitcoin Security in the Presence of Broken Crypto Primitives. IACR Cryptol. ePrint Arch. 2016: 167 (2016)
[i14]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/Cohn-GordonCG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/Cohn-GordonCG16
Katriel Cohn-Gordon, Cas Cremers, Luke Garratt:
On Post-Compromise Security. IACR Cryptol. ePrint Arch. 2016: 221 (2016)
[i13]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/Cohn-GordonCDGS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/Cohn-GordonCDGS16
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: 1013 (2016)
2015
[i12]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/YuRC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/YuRC15
Jiangshan Yu, Mark Ryan, Cas Cremers:
How to detect unauthorised usage of a key. IACR Cryptol. ePrint Arch. 2015: 486 (2015)
2014
[i11]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/FeltzC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/FeltzC14
Michèle Feltz, Cas Cremers:
On the Limits of Authenticated Key Exchange Security with an Application to Bad Randomness. IACR Cryptol. ePrint Arch. 2014: 369 (2014)
2013
[i10]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/BoydCFPPS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/BoydCFPPS13
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: 398 (2013)
2012
[i9]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/CremersF12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/CremersF12
Cas Cremers, Michèle Feltz:
Beyond eCK: Perfect Forward Secrecy under Actor Compromise and Ephemeral-Key Reveal. IACR Cryptol. ePrint Arch. 2012: 416 (2012)
2011
[i8]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/CremersRC11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/CremersRC11
Cas Cremers, Kasper Bonne Rasmussen, Srdjan Capkun:
Distance Hijacking Attacks on Distance Bounding Protocols. IACR Cryptol. ePrint Arch. 2011: 129 (2011)
[i7]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/CremersF11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/CremersF11
Cas Cremers, Michèle Feltz:
One-round Strongly Secure Key Exchange with Perfect Forward Secrecy and Deniability. IACR Cryptol. ePrint Arch. 2011: 300 (2011)
2009
[i6]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/BasinC09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/BasinC09
David A. Basin, Cas Cremers:
From Dolev-Yao to Strong Adaptive Corruption: Analyzing Security in the Presence of Compromising Adversaries. IACR Cryptol. ePrint Arch. 2009: 79 (2009)
[i5]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/Cremers09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/Cremers09
Cas J. F. Cremers:
Formally and Practically Relating the CK, CK-HMQV, and eCK Security Models for Authenticated Key Exchange. IACR Cryptol. ePrint Arch. 2009: 253 (2009)
2008
[i4]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/Cremers08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/Cremers08
Cas J. F. Cremers:
Session-state Reveal is stronger than Ephemeral Key Reveal: Attacking the NAXOS Authenticated Key Exchange protocol. IACR Cryptol. ePrint Arch. 2008: 376 (2008)
2007
[i3]
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/Cremers07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/Cremers07
Cas Cremers:
Complete Characterization of Security Protocols by Pattern Refinement. Formal Protocol Verification Applied 2007
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-0709-1080
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0709-1080
Cas Cremers:
On the Protocol Composition Logic PCL. CoRR abs/0709.1080 (2007)
2006
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-cs-0611062
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-cs-0611062
Suzana Andova, Cas Cremers, Kristian Gjøsteen, Sjouke Mauw, Stig Fr. Mjølsnes, Sasa Radomirovic:
A framework for compositional verification of security protocols. CoRR abs/cs/0611062 (2006)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.