C. J. F. Cremers

MaRDI QIDQ860903zbMATH OpenDBLPORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Advances in Cryptology – CRYPTO 2022	2023-06-28	Paper
A formal security analysis of the Signal messaging protocol Journal of Cryptology	2020-11-06	Paper
Highly efficient key exchange protocols with optimal tightness	2020-03-09	Paper
Model Checking Security Protocols Handbook of Model Checking	2018-07-20	Paper
Strengthening the security of authenticated key exchange against bad randomness Designs, Codes and Cryptography	2018-04-06	Paper
Beyond eCK: perfect forward secrecy under actor compromise and ephemeral-key reveal Designs, Codes and Cryptography	2015-01-23	Paper
ASICS: Authenticated key exchange security incorporating certification systems Lecture Notes in Computer Science	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 Lecture Notes in Computer Science	2012-06-29	Paper
Session-StateReveal is stronger than eCKs EphemeralKeyReveal: using automatic analysis to attack the NAXOS protocol International Journal of Applied Cryptography	2011-04-05	Paper
Operational semantics and verification of security protocols. Information Security and Cryptography	2010-12-08	Paper
Degrees of security: protocol guarantees in the face of compromising adversaries Computer Science Logic	2010-09-03	Paper
Comparing State Spaces in Automatic Security Protocol Analysis Formal to Practical Security	2009-06-09	Paper
A framework for compositional verification of security protocols Information and Computation	2008-04-16	Paper
Injective synchronisation: An extension of the authentication hierarchy Theoretical Computer Science	2007-01-09	Paper

Research outcomes over time

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