Cas J. F. Cremers

Publication Activity (10 Years)

Years Active: 2004-2010
Publications (10 Years): 0

Publications

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) (2010)
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 (2009)
Cas J. F. Cremers
Session-state Reveal Is Stronger Than Ephemeral Key Reveal: Attacking the NAXOS Authenticated Key Exchange Protocol. ACNS (2009)
Cas J. F. Cremers, Pascal Lafourcade, Philippe Nadeau
Comparing State Spaces in Automatic Security Protocol Analysis. Formal to Practical Security (2009)
Cas J. F. Cremers
Unbounded verification, falsification, and characterization of security protocols by pattern refinement. CCS (2008)
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 (2008)
Cas J. F. Cremers
The Scyther Tool: Verification, Falsification, and Analysis of Security Protocols. CAV (2008)
Cas J. F. Cremers, Sjouke Mauw, Erik P. de Vink
Injective synchronisation: An extension of the authentication hierarchy. Theor. Comput. Sci. 367 (1-2) (2006)
Cas J. F. Cremers, Sjouke Mauw, Erik P. de Vink
A Syntactic Criterion for Injectivity of Authentication Protocols. Electron. Notes Theor. Comput. Sci. 135 (1) (2005)
Cas J. F. Cremers, Sjouke Mauw
Checking Secrecy by Means of Partial Order Reduction. SAM (2004)