A Multi-party Optimistic Non-repudiation Protocol. - Olivier Markowitch; Steve Kremer (ICISC, 2000)

A Multi-Party Non-Repudiation Protocol. - Steve Kremer; Olivier Markowitch (SEC, 2000)

Selective Receipt in Certified E-mail. - Steve Kremer; Olivier Markowitch (INDOCRYPT, 2001)

An Optimistic Non-repudiation Protocol with Transparent Trusted Third Party. - Olivier Markowitch; Steve Kremer (ISC, 2001)

Game Analysis of Abuse-free Contract Signing. - Steve Kremer; Jean-François Raskin (CSFW, 2002)

On Fairness in Exchange Protocols. - Olivier Markowitch; Dieter Gollmann; Steve Kremer (ICISC, 2002)

An intensive survey of fair non-repudiation protocols. - Steve Kremer; Olivier Markowitch; Jianying Zhou 001 (Comput. Commun., 2002)

An Efficient Strong Designated Verifier Signature Scheme. - Shahrokh Saeednia; Steve Kremer; Olivier Markowitch (ICISC, 2003)

Fair multi-party non-repudiation protocols. - Steve Kremer; Olivier Markowitch (Int. J. Inf. Sec., 2003)

A Game-based Verification of Non-repudiation and Fair Exchange Protocols. - Steve Kremer; Jean-François Raskin (J. Comput. Secur., 2003)

Formal Analysis of Multi-Party Contract Signing. - Rohit Chadha; Steve Kremer; Andre Scedrov (CSFW, 2004)

Analysing the Vulnerability of Protocols to Produce Known-pair and Chosen-text Attacks. - Steve Kremer; Mark Ryan 001 (SecCo, 2004)

Analysis of an Electronic Voting Protocol in the Applied Pi Calculus. - Steve Kremer; Mark Ryan 001 (ESOP, 2005)

Analysis of a Multi-party Fair Exchange Protocol and Formal Proof of Correctness in the Strand Space Model. - Aybek Mukhamedov; Steve Kremer; Eike Ritter (Financial Cryptography, 2005)

Computationally sound implementations of equational theories against passive adversaries. - Mathieu Baudet; Véronique Cortier; Steve Kremer (IACR Cryptol. ePrint Arch., 2005)

Coercion-Resistance and Receipt-Freeness in Electronic Voting. - Stéphanie Delaune; Steve Kremer; Mark Ryan 001 (CSFW, 2006)

Computationally Sound Symbolic Secrecy in the Presence of Hash Functions. - Véronique Cortier; Steve Kremer; Ralf Küsters; Bogdan Warinschi (IACR Cryptol. ePrint Arch., 2006)

Formal Analysis of Multiparty Contract Signing. - Rohit Chadha; Steve Kremer; Andre Scedrov (J. Autom. Reason., 2006)

Juggling with Pattern Matching. - Jean Cardinal; Steve Kremer; Stefan Langerman (Theory Comput. Syst., 2006)

07421 Executive Summary – Formal Protocol Verification Applied. - Liqun Chen 002; Steve Kremer; Mark Dermot Ryan (Formal Protocol Verification Applied, 2007)

07421 Abstracts Collection – Formal Protocol Verification Applied. - Liqun Chen 002; Steve Kremer; Mark Dermot Ryan (Formal Protocol Verification Applied, 2007)

Adaptive Soundness of Static Equivalence. - Steve Kremer; Laurent Mazaré (ESORICS, 2007)

Computational Soundness of Equational Theories (Tutorial). - Steve Kremer (TGC, 2007)

Proving Group Protocols Secure Against Eavesdroppers. - Steve Kremer; Antoine Mercier 002; Ralf Treinen (IJCAR, 2008)

Composition of Password-Based Protocols. - Stéphanie Delaune; Steve Kremer; Mark Ryan 001 (CSF, 2008)

Formal Analysis of PKCS#11. - Stéphanie Delaune; Steve Kremer; Graham Steel (CSF, 2008)

From One Session to Many: Dynamic Tags for Security Protocols. - Myrto Arapinis; Stéphanie Delaune; Steve Kremer (LPAR, 2008)

Preface. - Steve Kremer; Prakash Panangaden (SecCo@CONCUR, 2008)

Epistemic Logic for the Applied Pi Calculus. - Rohit Chadha; Stéphanie Delaune; Steve Kremer (FMOODS/FORTE, 2009)

Simulation based security in the applied pi calculus. - Stéphanie Delaune; Steve Kremer; Olivier Pereira (IACR Cryptol. ePrint Arch., 2009)

Verifying privacy-type properties of electronic voting protocols. - Stéphanie Delaune; Steve Kremer; Mark Ryan 001 (J. Comput. Secur., 2009)

Election Verifiability in Electronic Voting Protocols. - Steve Kremer; Mark Ryan 001; Ben Smyth (ESORICS, 2010)

A Formal Analysis of Authentication in the TPM. - Stéphanie Delaune; Steve Kremer; Mark Dermot Ryan; Graham Steel (Formal Aspects in Security and Trust, 2010)

Towards Automatic Analysis of Election Verifiability Properties. - Ben Smyth; Mark Ryan 001; Steve Kremer; Mounira Kourjieh (ARSPA-WITS, 2010)

Verifying Privacy-Type Properties of Electronic Voting Protocols: A Taster. - Stéphanie Delaune; Steve Kremer; Mark Ryan 001 (Towards Trustworthy Elections, 2010)

Symbolic bisimulation for the applied pi calculus. - Stéphanie Delaune; Steve Kremer; Mark Dermot Ryan (J. Comput. Secur., 2010)

Formal security analysis of PKCS#11 and proprietary extensions. - Stéphanie Delaune; Steve Kremer; Graham Steel (J. Comput. Secur., 2010)

Computationally sound analysis of protocols using bilinear pairings. - Steve Kremer; Laurent Mazaré (J. Comput. Secur., 2010)

Modelling and analyzing security protocols in cryptographic process calculi. - Steve Kremer (2011)

Introduction. - Véronique Cortier; Steve Kremer (Formal Models and Techniques for Analyzing Security Protocols, 2011)

Formal Analysis of Protocols Based on TPM State Registers. - Stéphanie Delaune; Steve Kremer; Mark Dermot Ryan; Graham Steel (CSF, 2011)

Security for Key Management Interfaces. - Steve Kremer; Graham Steel; Bogdan Warinschi (CSF, 2011)

Transforming Password Protocols to Compose. - Céline Chevalier; Stéphanie Delaune; Steve Kremer (FSTTCS, 2011)

A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems. - Véronique Cortier; Steve Kremer; Bogdan Warinschi (J. Autom. Reason., 2011)

Security Protocols, Constraint Systems, and Group Theories. - Stéphanie Delaune; Steve Kremer; Daniel Pasaila (IJCAR, 2012)

Automated Verification of Equivalence Properties of Cryptographic Protocols. - Rohit Chadha; Stefan Ciobaca; Steve Kremer (ESOP, 2012)

Universally Composable Key-Management. - Steve Kremer; Robert Künnemann; Graham Steel (IACR Cryptol. ePrint Arch., 2012)

Computing Knowledge in Security Protocols Under Convergent Equational Theories. - Stefan Ciobaca; Stéphanie Delaune; Steve Kremer (J. Autom. Reason., 2012)

Reducing Equational Theories for the Decision of Static Equivalence. - Steve Kremer; Antoine Mercier 002; Ralf Treinen (J. Autom. Reason., 2012)

Practical Everlasting Privacy. - Myrto Arapinis; Véronique Cortier; Steve Kremer; Mark Ryan 001 (POST, 2013)

Composition of password-based protocols. - Céline Chevalier; Stéphanie Delaune; Steve Kremer; Mark Dermot Ryan (Formal Methods Syst. Des., 2013)

Dynamic Tags for Security Protocols. - Myrto Arapinis; Stéphanie Delaune; Steve Kremer (Log. Methods Comput. Sci., 2014)

Formal Models and Techniques for Analyzing Security Protocols: A Tutorial. - Véronique Cortier; Steve Kremer (Found. Trends Program. Lang., 2014)

Foreword to the special issue on security and rewriting techniques. - Steve Kremer; Paliath Narendran (Inf. Comput., 2014)

Type-Based Verification of Electronic Voting Protocols. - Véronique Cortier; Fabienne Eigner; Steve Kremer; Matteo Maffei; Cyrille Wiedling (IACR Cryptol. ePrint Arch., 2015)

To Du or Not to Du: A Security Analysis of Du-Vote. - Steve Kremer; Peter B. Rønne (EuroS&P, 2016)

When Are Three Voters Enough for Privacy Properties? - Myrto Arapinis; Véronique Cortier; Steve Kremer (IACR Cryptol. ePrint Arch., 2016)

Automated analysis of security protocols with global state. - Steve Kremer; Robert Künnemann (J. Comput. Secur., 2016)

Automated Verification of Equivalence Properties of Cryptographic Protocols. - Rohit Chadha; Vincent Cheval; Stefan Ciobaca; Steve Kremer (ACM Trans. Comput. Log., 2016)

Formal Models for Analyzing Security Protocols: Some Lecture Notes. - Véronique Cortier; Steve Kremer (Dependable Software Systems Engineering, 2016)

Symbolic Verification of Privacy-Type Properties for Security Protocols with XOR. - David Baelde; Stéphanie Delaune; Ivan Gazeau; Steve Kremer (CSF, 2017)

Formal Verification of Protocols Based on Short Authenticated Strings. - Stéphanie Delaune; Steve Kremer; Ludovic Robin (CSF, 2017)

Automated Analysis of Equivalence Properties for Security Protocols Using Else Branches. - Ivan Gazeau; Steve Kremer (ESORICS (2), 2017)

A Novel Approach for Reasoning about Liveness in Cryptographic Protocols and Its Application to Fair Exchange. - Michael Backes 001; Jannik Dreier; Steve Kremer; Robert Künnemann (EuroS&P, 2017)

On Communication Models When Verifying Equivalence Properties. - Kushal Babel; Vincent Cheval; Steve Kremer (POST, 2017)

Beyond Subterm-Convergent Equational Theories in Automated Verification of Stateful Protocols. - Jannik Dreier; Charles Duménil; Steve Kremer; Ralf Sasse (POST, 2017)

Symbolic Models for Isolated Execution Environments. - Charlie Jacomme; Steve Kremer; Guillaume Scerri (IACR Cryptol. ePrint Arch., 2017)

The DEEPSEC Prover. - Vincent Cheval; Steve Kremer; Itsaka Rakotonirina (CAV (2), 2018)

DEEPSEC: Deciding Equivalence Properties in Security Protocols Theory and Practice. - Vincent Cheval; Steve Kremer; Itsaka Rakotonirina (IEEE Symposium on Security and Privacy, 2018)

Exploiting Symmetries When Proving Equivalence Properties for Security Protocols. - Vincent Cheval; Steve Kremer; Itsaka Rakotonirina (CCS, 2019)

Symbolic Methods in Computational Cryptography Proofs. - Gilles Barthe; Benjamin Grégoire; Charlie Jacomme; Steve Kremer; Pierre-Yves Strub (CSF, 2019)

Private Votes on Untrusted Platforms: Models, Attacks and Provable Scheme. - Sergiu Bursuc; Constantin Catalin Dragan; Steve Kremer (EuroS&P, 2019)

Contingent payments on a public ledger: models and reductions for automated verification. - Sergiu Bursuc; Steve Kremer (IACR Cryptol. ePrint Arch., 2019)

The Hitchhiker's Guide to Decidability and Complexity of Equivalence Properties in Security Protocols. - Vincent Cheval; Steve Kremer; Itsaka Rakotonirina (Logic, Language, and Security, 2020)

On the semantics of communications when verifying equivalence properties. - Kushal Babel; Vincent Cheval; Steve Kremer (J. Comput. Secur., 2020)

An Extensive Formal Analysis of Multi-factor Authentication Protocols. - Charlie Jacomme; Steve Kremer (ACM Trans. Priv. Secur., 2021)

Symbolic protocol verification with dice: process equivalences in the presence of probabilities. - Vincent Cheval; Raphaëlle Crubillé; Steve Kremer (CSF, 2022)

Hash Gone Bad: Automated discovery of protocol attacks that exploit hash function weaknesses. - Vincent Cheval; Cas Cremers; Alexander Dax; Lucca Hirschi; Charlie Jacomme; Steve Kremer (IACR Cryptol. ePrint Arch., 2022)

Sapic+: protocol verifiers of the world, unite! - Vincent Cheval; Charlie Jacomme; Steve Kremer; Robert Künnemann (IACR Cryptol. ePrint Arch., 2022)

Universal Equivalence and Majority of Probabilistic Programs over Finite Fields. - Gilles Barthe; Charlie Jacomme; Steve Kremer (ACM Trans. Comput. Log., 2022)

A comprehensive, formal and automated analysis of the EDHOC protocol. - Charlie Jacomme; Elise Klein 002; Steve Kremer; Maïwenn Racouchot (USENIX Security Symposium, 2023)

DY Fuzzing: Formal Dolev-Yao Models Meet Protocol Fuzz Testing. - Max Ammann; Lucca Hirschi; Steve Kremer (IACR Cryptol. ePrint Arch., 2023)

Symbolic protocol verification with dice. - Vincent Cheval; Raphaëlle Crubillé; Steve Kremer (J. Comput. Secur., 2023)

Security and Privacy Column. - Steve Kremer (ACM SIGLOG News, 2023)

DY Fuzzing: Formal Dolev-Yao Models Meet Cryptographic Protocol Fuzz Testing. - Max Ammann; Lucca Hirschi; Steve Kremer (SP, 2024)

DeepSec: Deciding Equivalence Properties for Security Protocols - Improved theory and practice. - Vincent Cheval; Steve Kremer; Itsaka Rakotonirina (TheoretiCS, 2024)

A Comprehensive Formal Security Analysis of OPC UA. - Vincent Diemunsch; Lucca Hirschi; Steve Kremer (IACR Cryptol. ePrint Arch., 2025)