Cas J. F. Cremers

Simon Meier, Cas Cremers, David A. Basin: Efficient construction of machine-checked symbolic protocol security proofs. Journal of Computer Security 21(1): 41-87 (2013)

Cas Cremers, Sjouke Mauw: Operational Semantics and Verification of Security Protocols. Information Security and Cryptography, Springer 2012, isbn 978-3-540-78636-8

Benedikt Schmidt, Simon Meier, Cas J. F. Cremers, David A. Basin: Automated Analysis of Diffie-Hellman Protocols and Advanced Security Properties. CSF 2012: 78-94

Cas J. F. Cremers, Michele Feltz: Beyond eCK: Perfect Forward Secrecy under Actor Compromise and Ephemeral-Key Reveal. ESORICS 2012: 734-751

David A. Basin, Cas J. F. Cremers, Simon Meier: Provably Repairing the ISO/IEC 9798 Standard for Entity Authentication. POST 2012: 129-148

Cas J. F. Cremers, Kasper Bonne Rasmussen, Benedikt Schmidt, Srdjan Capkun: Distance Hijacking Attacks on Distance Bounding Protocols. IEEE Symposium on Security and Privacy 2012: 113-127

Cas J. F. Cremers, Michele Feltz: Beyond eCK: Perfect Forward Secrecy under Actor Compromise and Ephemeral-Key Reveal. IACR Cryptology ePrint Archive 2012: 416 (2012)

Cas Cremers: Examining indistinguishability-based security models for key exchange protocols: the case of CK, CK-HMQV, and eCK. ASIACCS 2011: 80-91

Cas J. F. Cremers: Key Exchange in IPsec Revisited: Formal Analysis of IKEv1 and IKEv2. ESORICS 2011: 315-334

Cas J. F. Cremers, Kasper Bonne Rasmussen, Srdjan Capkun: Distance Hijacking Attacks on Distance Bounding Protocols. IACR Cryptology ePrint Archive 2011: 129 (2011)

Cas J. F. Cremers, Michele Feltz: One-round Strongly Secure Key Exchange with Perfect Forward Secrecy and Deniability. IACR Cryptology ePrint Archive 2011: 300 (2011)

Cas J. F. Cremers: Session-StateReveal is stronger than eCKs EphemeralKeyReveal: using automatic analysis to attack the NAXOS protocol. IJACT 2(2): 83-99 (2010)

Christina Pöpper, David A. Basin, Srdjan Capkun, Cas J. F. Cremers: Keeping data secret under full compromise using porter devices. ACSAC 2010: 241-250

Simon Meier, Cas J. F. Cremers, David A. Basin: Strong Invariants for the Efficient Construction of Machine-Checked Protocol Security Proofs. CSF 2010: 231-245

David A. Basin, Cas J. F. Cremers: Degrees of Security: Protocol Guarantees in the Face of Compromising Adversaries. CSL 2010: 1-18

David A. Basin, Cas J. F. Cremers: Modeling and Analyzing Security in the Presence of Compromising Adversaries. ESORICS 2010: 340-356

Cas J. F. Cremers: Session-state Reveal Is Stronger Than Ephemeral Key Reveal: Attacking the NAXOS Authenticated Key Exchange Protocol. ACNS 2009: 20-33

Cas J. F. Cremers, Pascal Lafourcade, Philippe Nadeau: Comparing State Spaces in Automatic Security Protocol Analysis. Formal to Practical Security 2009: 70-94

David A. Basin, Cas J. F. Cremers: From Dolev-Yao to Strong Adaptive Corruption: Analyzing Security in the Presence of Compromising Adversaries. IACR Cryptology ePrint Archive 2009: 79 (2009)

Cas J. F. Cremers: Formally and Practically Relating the CK, CK-HMQV, and eCK Security Models for Authenticated Key Exchange. IACR Cryptology ePrint Archive 2009: 253 (2009)

Suzana Andova, Cas J. F. 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)

Cas J. F. Cremers: The Scyther Tool: Verification, Falsification, and Analysis of Security Protocols. CAV 2008: 414-418

Cas J. F. Cremers: On the protocol composition logic PCL. ASIACCS 2008: 66-76

Cas J. F. Cremers: Unbounded verification, falsification, and characterization of security protocols by pattern refinement. ACM Conference on Computer and Communications Security 2008: 119-128

Cas J. F. Cremers: Session-state Reveal is stronger than Ephemeral Key Reveal: Attacking the NAXOS Authenticated Key Exchange protocol. IACR Cryptology ePrint Archive 2008: 376 (2008)

Cas J. F. Cremers: Complete Characterization of Security Protocols by Pattern Refinement. Formal Protocol Verification Applied 2007

Cas J. F. Cremers: On the Protocol Composition Logic PCL. CoRR abs/0709.1080 (2007)

Cas J. F. Cremers: Compositionality of Security Protocols: A Research Agenda. Electr. Notes Theor. Comput. Sci. 142: 99-110 (2006)

Sjouke Mauw, Valérie Issarny, Cas J. F. Cremers: Preface. Electr. Notes Theor. Comput. Sci. 157(3): 1-2 (2006)

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)

Cas J. F. Cremers: Feasibility of Multi-Protocol Attacks. ARES 2006: 287-294

Suzana Andova, Cas J. F. 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)

Cas J. F. Cremers, Sjouke Mauw, Erik P. de Vink: A Syntactic Criterion for Injectivity of Authentication Protocols. Electr. Notes Theor. Comput. Sci. 135(1): 23-38 (2005)

Cas J. F. Cremers, Sjouke Mauw: Checking Secrecy by Means of Partial Order Reduction. SAM 2004: 171-188

Cas J. F. Cremers, Sjouke Mauw: Operational Semantics of Security Protocols. Scenarios: Models, Transformations and Tools 2003: 66-89