| 2024 | SP | DY Fuzzing: Formal Dolev-Yao Models Meet Cryptographic Protocol Fuzz Testing. | Max Ammann, Lucca Hirschi, Steve Kremer |
| 2020 | LICS | Universal equivalence and majority of probabilistic programs over finite fields. | Gilles Barthe, Charlie Jacomme, Steve Kremer |
| 2019 | CCS | Exploiting Symmetries When Proving Equivalence Properties for Security Protocols. | Vincent Cheval, Steve Kremer, Itsaka Rakotonirina |
| 2019 | ESORICS | Contingent Payments on a Public Ledger: Models and Reductions for Automated Verification. | Sergiu Bursuc, Steve Kremer |
| 2018 | CAV | The DEEPSEC Prover. | Vincent Cheval, Steve Kremer, Itsaka Rakotonirina |
| 2018 | SP | DEEPSEC: Deciding Equivalence Properties in Security Protocols Theory and Practice. | Vincent Cheval, Steve Kremer, Itsaka Rakotonirina |
| 2017 | ESORICS | Automated Analysis of Equivalence Properties for Security Protocols Using Else Branches. | Ivan Gazeau, Steve Kremer |
| 2016 | ESORICS | When Are Three Voters Enough for Privacy Properties? | Myrto Arapinis, Vronique Cortier, Steve Kremer |
| 2014 | SP | Automated Analysis of Security Protocols with Global State. | Steve Kremer, Robert Knnemann |
| 2013 | ESORICS | Universally Composable Key-Management. | Steve Kremer, Robert Knnemann, Graham Steel |
| 2012 | CADE | Security Protocols, Constraint Systems, and Group Theories. | Stphanie Delaune, Steve Kremer, Daniel Pasaila |
| 2012 | ESOP | Automated Verification of Equivalence Properties of Cryptographic Protocols. | Rohit Chadha, Stefan Ciobaca, Steve Kremer |
| 2010 | ESORICS | Election Verifiability in Electronic Voting Protocols. | Steve Kremer, Mark Ryan, Ben Smyth |
| 2009 | CADE | Computing Knowledge in Security Protocols under Convergent Equational Theories. | Stefan Ciobaca, Stphanie Delaune, Steve Kremer |
| 2009 | FORTE | Epistemic Logic for the Applied Pi Calculus. | Rohit Chadha, Stphanie Delaune, Steve Kremer |
| 2008 | CADE | Proving Group Protocols Secure Against Eavesdroppers. | Steve Kremer, Antoine Mercier, Ralf Treinen |
| 2008 | LPAR | From One Session to Many: Dynamic Tags for Security Protocols. | Myrto Arapinis, Stphanie Delaune, Steve Kremer |
| 2007 | ESORICS | Adaptive Soundness of Static Equivalence. | Steve Kremer, Laurent Mazar |
| 2005 | ESOP | Analysis of an Electronic Voting Protocol in the Applied Pi Calculus. | Steve Kremer, Mark Ryan |
| 2005 | FC | Analysis of a Multi-party Fair Exchange Protocol and Formal Proof of Correctness in the Strand Space Model. | Aybek Mukhamedov, Steve Kremer, Eike Ritter |
| 2005 | ICALP | Computationally Sound Implementations of Equational Theories Against Passive Adversaries. | Mathieu Baudet, Vronique Cortier, Steve Kremer |
| 2003 | ICISC | An Efficient Strong Designated Verifier Signature Scheme. | Shahrokh Saeednia, Steve Kremer, Olivier Markowitch |
| 2002 | ICISC | On Fairness in Exchange Protocols. | Olivier Markowitch, Dieter Gollmann, Steve Kremer |
| 2001 | CONCUR | A Game-Based Verification of Non-repudiation and Fair Exchange Protocols. | Steve Kremer, Jean-Franois Raskin |
| 2001 | INDOCRYPT | Selective Receipt in Certified E-mail. | Steve Kremer, Olivier Markowitch |
| 2000 | ICISC | A Multi-party Optimistic Non-repudiation Protocol. | Olivier Markowitch, Steve Kremer |
| 2000 | SEC | A Multi-Party Non-Repudiation Protocol. | Steve Kremer, Olivier Markowitch |