Cas Cremers

Eyal Ronen

Mang Zhao

IACR Cryptol. ePrint Arch., 2023

A Holistic Security Analysis of Monero Transactions.

[BibT_eX]

[DOI]

Julian Loss

Benedikt Wagner

IACR Cryptol. ePrint Arch., 2023

Keeping Up with the KEMs: Stronger Security Notions for KEMs.

[BibT_eX]

[DOI]

Alexander Dax

Niklas Medinger

IACR Cryptol. ePrint Arch., 2023

Automated Analysis of Protocols that use Authenticated Encryption: How Subtle AEAD Differences can impact Protocol Security.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2023

2022

Tamarin: Verification of Large-Scale, Real-World, Cryptographic Protocols.

[BibT_eX]

[DOI]

IEEE Secur. Priv., 2022

Provably Post-Quantum Secure Messaging with Strong Compromise Resilience and Immediate Decryption.

[BibT_eX]

[DOI]

Mang Zhao

IACR Cryptol. ePrint Arch., 2022

TokenWeaver: Privacy Preserving and Post-Compromise Secure Attestation.

[BibT_eX]

[DOI]

Eyal Ronen

IACR Cryptol. ePrint Arch., 2022

Formal Analysis of Session-Handling in Secure Messaging: Lifting Security from Sessions to Conversations.

[BibT_eX]

[DOI]

Aurora Naska

IACR Cryptol. ePrint Arch., 2022

Subterm-based proof techniques for improving the automation and scope of security protocol analysis.

[BibT_eX]

[DOI]

Philip Lukert

IACR Cryptol. ePrint Arch., 2022

A Logic and an Interactive Prover for the Computational Post-Quantum Security of Protocols.

[BibT_eX]

[DOI]

Caroline Fontaine

IACR Cryptol. ePrint Arch., 2022

Formal Analysis of SPDM: Security Protocol and Data Model version 1.2.

[BibT_eX]

[DOI]

Alexander Dax

Aurora Naska

IACR Cryptol. ePrint Arch., 2022

Hash Gone Bad: Automated discovery of protocol attacks that exploit hash function weaknesses.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2022

FIDO2, CTAP 2.1, and WebAuthn 2: Provable Security and Post-Quantum Instantiation.

[BibT_eX]

[DOI]

Nina Bindel

Mang Zhao

IACR Cryptol. ePrint Arch., 2022

Deploying decentralized, privacy-preserving proximity tracing.

[BibT_eX]

[DOI]

Commun. ACM, 2022

CHIP and CRISP: Protecting All Parties Against Compromise Through Identity-Binding PAKEs.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology - CRYPTO 2022, 2022

2021

The Complexities of Healing in Secure Group Messaging: Why Cross-Group Effects Matter.

[BibT_eX]

[DOI]

Britta Hale

Konrad Kohbrok

Proceedings of the 30th USENIX Security Symposium, 2021

2020

Randomness Improvements for Security Protocols.

[BibT_eX]

[DOI]

RFC, October, 2020

A Formal Security Analysis of the Signal Messaging Protocol.

[BibT_eX]

[DOI]

J. Cryptol., 2020

BUFFing signature schemes beyond unforgeability and the case of post-quantum signatures.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2020

The Provable Security of Ed25519: Theory and Practice.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2020

Decentralized Privacy-Preserving Proximity Tracing.

[BibT_eX]

[DOI]

IEEE Data Eng. Bull., 2020

Decentralized Privacy-Preserving Proximity Tracing.

[BibT_eX]

[DOI]

CoRR, 2020

A Spectral Analysis of Noise: A Comprehensive, Automated, Formal Analysis of Diffie-Hellman Protocols.

[BibT_eX]

[DOI]

Proceedings of the 29th USENIX Security Symposium, 2020

A Formal Analysis of IEEE 802.11's WPA2: Countering the Kracks Caused by Cracking the Counters.

[BibT_eX]

[DOI]

Benjamin Kiesl

Niklas Medinger

Proceedings of the 29th USENIX Security Symposium, 2020

Limiting the impact of unreliable randomness in deployed security protocols.

[BibT_eX]

[DOI]

Liliya R. Akhmetzyanova

Proceedings of the 33rd IEEE Computer Security Foundations Symposium, 2020

Clone Detection in Secure Messaging: Improving Post-Compromise Security in Practice.

[BibT_eX]

[DOI]

Proceedings of the CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, 2020

2019

Secure authentication in the grid: A formal analysis of DNP3 SAv5.

[BibT_eX]

[DOI]

Martin Dehnel-Wild

Kevin Milner

J. Comput. Secur., 2019

Seems Legit: Automated Analysis of Subtle Attacks on Protocols that Use Signatures.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2019

Prime, Order Please! Revisiting Small Subgroup and Invalid Curve Attacks on Protocols using Diffie-Hellman.

[BibT_eX]

[DOI]

Dennis Jackson

IACR Cryptol. ePrint Arch., 2019

Revisiting Post-Compromise Security Guarantees in Group Messaging.

[BibT_eX]

[DOI]

Britta Hale

Konrad Kohbrok

IACR Cryptol. ePrint Arch., 2019

Highly Efficient Key Exchange Protocols with Optimal Tightness - Enabling real-world deployments with theoretically sound parameters.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2019

SoK: Computer-Aided Cryptography.

[BibT_eX]

[DOI]

Manuel Barbosa

Gilles Barthe

Karthikeyan Bhargavan

IACR Cryptol. ePrint Arch., 2019

Component-Based Formal Analysis of 5G-AKA: Channel Assumptions and Session Confusion.

[BibT_eX]

[DOI]

Martin Dehnel-Wild

Proceedings of the 26th Annual Network and Distributed System Security Symposium, 2019

Improving Automated Symbolic Analysis of Ballot Secrecy for E-Voting Protocols: A Method Based on Sufficient Conditions.

[BibT_eX]

[DOI]

Lucca Hirschi

Proceedings of the IEEE European Symposium on Security and Privacy, 2019

Highly Efficient Key Exchange Protocols with Optimal Tightness.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology - CRYPTO 2019, 2019

2018

Model Checking Security Protocols.

[BibT_eX]

[DOI]

Catherine Meadows

Proceedings of the Handbook of Model Checking., 2018

DECIM: Detecting Endpoint Compromise In Messaging.

[BibT_eX]

[DOI]

Jiangshan Yu

Mark Ryan

IEEE Trans. Inf. Forensics Secur., 2018

Design, Analysis, and Implementation of ARPKI: An Attack-Resilient Public-Key Infrastructure.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2018

Abstractions for security protocol verification.

[BibT_eX]

[DOI]

Thanh Binh Nguyen

Christoph Sprenger

J. Comput. Secur., 2018

When the Crypto in Cryptocurrencies Breaks: Bitcoin Security under Broken Primitives.

[BibT_eX]

[DOI]

Ilias Giechaskiel

IEEE Secur. Priv., 2018

Security Analysis for Randomness Improvements for Security Protocols.

[BibT_eX]

[DOI]

Liliya R. Akhmetzyanova

Luke Garratt

Stanislav V. Smyshlyaev

IACR Cryptol. ePrint Arch., 2018

Strengthening the security of authenticated key exchange against bad randomness.

[BibT_eX]

[DOI]

Des. Codes Cryptogr., 2018

2017

Symbolically analyzing security protocols using tamarin.

[BibT_eX]

[DOI]

ACM SIGLOG News, 2017

ASICS: authenticated key exchange security incorporating certification systems.

[BibT_eX]

[DOI]

Int. J. Inf. Sec., 2017

Automatically Detecting the Misuse of Secrets: Foundations, Design Principles, and Applications.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2017

On Ends-to-Ends Encryption: Asynchronous Group Messaging with Strong Security Guarantees.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2017

Mind the Gap: Where Provable Security and Real-World Messaging Don't Quite Meet.

[BibT_eX]

[DOI]

Katriel Cohn-Gordon

IACR Cryptol. ePrint Arch., 2017

Improving Automated Symbolic Analysis for E-voting Protocols: A Method Based on Sufficient Conditions for Ballot Secrecy.

[BibT_eX]

[DOI]

Lucca Hirschi

CoRR, 2017

Symbolic security analysis using the Tamarin prover.

[BibT_eX]

[DOI]

Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

A Comprehensive Symbolic Analysis of TLS 1.3.

[BibT_eX]

[DOI]

Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

2016

Improving the ISO/IEC 11770 standard for key management techniques.

[BibT_eX]

[DOI]

Marko Horvat

Int. J. Inf. Sec., 2016

On Bitcoin Security in the Presence of Broken Crypto Primitives.

[BibT_eX]

[DOI]

Ilias Giechaskiel

IACR Cryptol. ePrint Arch., 2016

On Post-Compromise Security.

[BibT_eX]

[DOI]

Katriel Cohn-Gordon

Luke Garratt

IACR Cryptol. ePrint Arch., 2016

Automated Analysis and Verification of TLS 1.3: 0-RTT, Resumption and Delayed Authentication.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium on Security and Privacy, 2016

Symmetric polynomial & CRT based algorithms for multiple frequency determination from undersampled waveforms.

[BibT_eX]

[DOI]

Hanshen Xiao

Hari Krishna Garg

Proceedings of the 2016 IEEE Global Conference on Signal and Information Processing, 2016

On Bitcoin Security in the Presence of Broken Cryptographic Primitives.

[BibT_eX]

[DOI]

Ilias Giechaskiel

Proceedings of the Computer Security - ESORICS 2016, 2016

2015

Improving the Security of Cryptographic Protocol Standards.

[BibT_eX]

[DOI]

IEEE Secur. Priv., 2015

How to detect unauthorised usage of a key.

[BibT_eX]

[DOI]

Jiangshan Yu

Mark Ryan

IACR Cryptol. ePrint Arch., 2015

Beyond eCK: perfect forward secrecy under actor compromise and ephemeral-key reveal.

[BibT_eX]

[DOI]

Des. Codes Cryptogr., 2015

Experiences in Developing and Delivering a Programme of Part-Time Education in Software and Systems Security.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014

Know Your Enemy: Compromising Adversaries in Protocol Analysis.

[BibT_eX]

[DOI]

ACM Trans. Inf. Syst. Secur., 2014

On the Limits of Authenticated Key Exchange Security with an Application to Bad Randomness.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2014

Automated Verification of Group Key Agreement Protocols.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE Symposium on Security and Privacy, 2014

Actor Key Compromise: Consequences and Countermeasures.

[BibT_eX]

[DOI]

Marko Horvat

Proceedings of the IEEE 27th Computer Security Foundations Symposium, 2014

ARPKI: Attack Resilient Public-Key Infrastructure.

[BibT_eX]

[DOI]

Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014

2013

Efficient construction of machine-checked symbolic protocol security proofs.

[BibT_eX]

[DOI]

Simon Meier

J. Comput. Secur., 2013

Provably repairing the ISO/IEC 9798 standard for entity authentication.

[BibT_eX]

[DOI]

Simon Meier

J. Comput. Secur., 2013

The TAMARIN Prover for the Symbolic Analysis of Security Protocols.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

Distance Hijacking Attacks on Distance Bounding Protocols.

[BibT_eX]

[DOI]

Benedikt Schmidt

Srdjan Capkun

Proceedings of the IEEE Symposium on Security and Privacy, 2012

Automated Analysis of Diffie-Hellman Protocols and Advanced Security Properties.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE Computer Security Foundations Symposium, 2012

Operational Semantics and Verification of Security Protocols

[BibT_eX]

[DOI]

Information Security and Cryptography, Springer, ISBN: 978-3-540-78636-8, 2012

2011

Distance Hijacking Attacks on Distance Bounding Protocols.

[BibT_eX]

[DOI]

Srdjan Capkun

IACR Cryptol. ePrint Arch., 2011

One-round Strongly Secure Key Exchange with Perfect Forward Secrecy and Deniability.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2011

Key Exchange in IPsec Revisited: Formal Analysis of IKEv1 and IKEv2.

[BibT_eX]

[DOI]

Proceedings of the Computer Security - ESORICS 2011, 2011

Examining indistinguishability-based security models for key exchange protocols: the case of CK, CK-HMQV, and eCK.

[BibT_eX]

[DOI]

Proceedings of the 6th ACM Symposium on Information, Computer and Communications Security, 2011

2010

Session-StateReveal is stronger than eCKs EphemeralKeyReveal: using automatic analysis to attack the NAXOS protocol.

[BibT_eX]

[DOI]

Int. J. Appl. Cryptogr., 2010

Modeling and Analyzing Security in the Presence of Compromising Adversaries.

[BibT_eX]

[DOI]

Proceedings of the Computer Security, 2010

Degrees of Security: Protocol Guarantees in the Face of Compromising Adversaries.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 24th International Workshop, 2010

Strong Invariants for the Efficient Construction of Machine-Checked Protocol Security Proofs.

[BibT_eX]

[DOI]

Simon Meier

Proceedings of the 23rd IEEE Computer Security Foundations Symposium, 2010

Keeping data secret under full compromise using porter devices.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth Annual Computer Security Applications Conference, 2010

2009

Formally and Practically Relating the CK, CK-HMQV, and eCK Security Models for Authenticated Key Exchange.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2009

From Dolev-Yao to Strong Adaptive Corruption: Analyzing Security in the Presence of Compromising Adversaries.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2009

Comparing State Spaces in Automatic Security Protocol Analysis.

[BibT_eX]

[DOI]

Pascal Lafourcade

Philippe Nadeau

Proceedings of the Formal to Practical Security, 2009

2008

A framework for compositional verification of security protocols.

[BibT_eX]

[DOI]

Inf. Comput., 2008

Session-state Reveal is stronger than Ephemeral Key Reveal: Attacking the NAXOS Authenticated Key Exchange protocol.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2008

Unbounded verification, falsification, and characterization of security protocols by pattern refinement.

[BibT_eX]

[DOI]

Proceedings of the 2008 ACM Conference on Computer and Communications Security, 2008

On the protocol composition logic PCL.

[BibT_eX]

[DOI]

Proceedings of the 2008 ACM Symposium on Information, Computer and Communications Security, 2008

The Scyther Tool: Verification, Falsification, and Analysis of Security Protocols.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007

Complete Characterization of Security Protocols by Pattern Refinement.

[BibT_eX]

[DOI]

Proceedings of the Formal Protocol Verification Applied, 14.10. - 19.10.2007, 2007

2006

Injective synchronisation: An extension of the authentication hierarchy.

[BibT_eX]

[DOI]

Erik P. de Vink

Theor. Comput. Sci., 2006

Feasibility of Multi-Protocol Attacks.

[BibT_eX]

[DOI]

Proceedings of the The First International Conference on Availability, 2006

2005

Preface.

[BibT_eX]

[DOI]

Valérie Issarny

Proceedings of the First International Workshop on Security and Trust Management, 2005

A Syntactic Criterion for Injectivity of Authentication Protocols.

[BibT_eX]

[DOI]

Erik P. de Vink

Proceedings of the Second Workshop on Automated Reasoning for Security Protocol Analysis, 2005

2004

Compositionality of Security Protocols: A Research Agenda.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Views on Designing Complex Architectures, 2004

Checking Secrecy by Means of Partial Order Reduction.

[BibT_eX]

[DOI]

Proceedings of the System Analysis and Modeling, 4th International SDL and MSC Workshop, 2004

2003

Operational Semantics of Security Protocols.

[BibT_eX]

[DOI]