C. J. F. Cremers

Available identifiers

Publication	Date of Publication	Type
A holistic security analysis of Monero transactions	2024-11-13	Paper
CHIP and CRISP: protecting all parties against compromise through identity-binding PAKEs	2023-06-28	Paper
A formal security analysis of the Signal messaging protocol	2020-11-06	Paper
Highly efficient key exchange protocols with optimal tightness	2020-03-09	Paper
Model Checking Security Protocols	2018-07-20	Paper
Strengthening the security of authenticated key exchange against bad randomness	2018-04-06	Paper
Beyond eCK: perfect forward secrecy under actor compromise and ephemeral-key reveal	2015-01-23	Paper
ASICS: Authenticated Key Exchange Security Incorporating Certification Systems	2014-10-16	Paper
A syntactic criterion for injectivity of authentication protocols	2013-09-26	Paper
Provably Repairing the ISO/IEC 9798 Standard for Entity Authentication	2012-06-29	Paper
Session-StateReveal is stronger than eCKs EphemeralKeyReveal: using automatic analysis to attack the NAXOS protocol	2011-04-05	Paper
Operational semantics and verification of security protocols.	2010-12-08	Paper
Degrees of security: protocol guarantees in the face of compromising adversaries	2010-09-03	Paper
Comparing State Spaces in Automatic Security Protocol Analysis	2009-06-09	Paper
A framework for compositional verification of security protocols	2008-04-16	Paper
Injective synchronisation: An extension of the authentication hierarchy	2007-01-09	Paper

This page was built for person: C. J. F. Cremers