Steve Kremer

115 papers A* 10A 21B 2C 1Misc 5Journal 41Unranked 27
YearRankTypeTitle / Venue / Authors
2025 A* conf
A Comprehensive Formal Security Analysis of OPC UA.
USENIX Security Symposium
Vincent Diemunsch, Lucca Hirschi, Steve Kremer
2025 J jnl
A Comprehensive Formal Security Analysis of OPC UA.
IACR Cryptol. ePrint Arch.
Vincent Diemunsch, Lucca Hirschi, Steve Kremer
2025 J jnl
Are ideal functionalities really ideal?
IACR Cryptol. ePrint Arch.
Myrto Arapinis, Véronique Cortier, Hubert de Groote, Charlie Jacomme, Steve Kremer
2024 A* conf
DY Fuzzing: Formal Dolev-Yao Models Meet Cryptographic Protocol Fuzz Testing.
SP
Max Ammann, Lucca Hirschi, Steve Kremer
2024 J jnl
DeepSec: Deciding Equivalence Properties for Security Protocols - Improved theory and practice.
TheoretiCS
Vincent Cheval, Steve Kremer, Itsaka Rakotonirina
2024 J jnl
Security and Privacy Column.
ACM SIGLOG News
Steve Kremer
2023 A* conf
A comprehensive, formal and automated analysis of the EDHOC protocol.
USENIX Security Symposium
Charlie Jacomme, Elise Klein, Steve Kremer, Maïwenn Racouchot
2023 J jnl
DY Fuzzing: Formal Dolev-Yao Models Meet Protocol Fuzz Testing.
IACR Cryptol. ePrint Arch.
Max Ammann, Lucca Hirschi, Steve Kremer
2023 A* conf
Hash Gone Bad: Automated discovery of protocol attacks that exploit hash function weaknesses.
USENIX Security Symposium
Vincent Cheval, Cas Cremers, Alexander Dax, Lucca Hirschi, Charlie Jacomme, Steve Kremer
2023 J jnl
Security and Privacy Column.
ACM SIGLOG News
Steve Kremer
2023 J jnl
Symbolic protocol verification with dice.
J. Comput. Secur.
Vincent Cheval, Raphaëlle Crubillé, Steve Kremer
2022 J jnl
DeepSec: Deciding Equivalence Properties for Security Protocols - Improved theory and practice.
CoRR
Vincent Cheval, Steve Kremer, Itsaka Rakotonirina
2022 J jnl
Hash Gone Bad: Automated discovery of protocol attacks that exploit hash function weaknesses.
IACR Cryptol. ePrint Arch.
Vincent Cheval, Cas Cremers, Alexander Dax, Lucca Hirschi, Charlie Jacomme, Steve Kremer
2022 A* conf
SAPIC+: protocol verifiers of the world, unite!
USENIX Security Symposium
Vincent Cheval, Charlie Jacomme, Steve Kremer, Robert Künnemann
2022 J jnl
Sapic+: protocol verifiers of the world, unite!
IACR Cryptol. ePrint Arch.
Vincent Cheval, Charlie Jacomme, Steve Kremer, Robert Künnemann
2022 A conf
Symbolic protocol verification with dice: process equivalences in the presence of probabilities.
CSF
Vincent Cheval, Raphaëlle Crubillé, Steve Kremer
2022 J jnl
Universal Equivalence and Majority of Probabilistic Programs over Finite Fields.
ACM Trans. Comput. Log.
Gilles Barthe, Charlie Jacomme, Steve Kremer
2021 J jnl
An Extensive Formal Analysis of Multi-factor Authentication Protocols.
ACM Trans. Priv. Secur.
Charlie Jacomme, Steve Kremer
2020 J jnl
On the semantics of communications when verifying equivalence properties.
J. Comput. Secur.
Kushal Babel, Vincent Cheval, Steve Kremer
2020 — conf
The Hitchhiker's Guide to Decidability and Complexity of Equivalence Properties in Security Protocols.
Logic, Language, and Security
Vincent Cheval, Steve Kremer, Itsaka Rakotonirina
2020 A* conf
Universal equivalence and majority of probabilistic programs over finite fields.
LICS
Gilles Barthe, Charlie Jacomme, Steve Kremer
2019 — conf
Contingent Payments on a Public Ledger: Models and Reductions for Automated Verification.
ESORICS (1)
Sergiu Bursuc, Steve Kremer
2019 J jnl
Contingent payments on a public ledger: models and reductions for automated verification.
IACR Cryptol. ePrint Arch.
Sergiu Bursuc, Steve Kremer
2019 A* conf
Exploiting Symmetries When Proving Equivalence Properties for Security Protocols.
CCS
Vincent Cheval, Steve Kremer, Itsaka Rakotonirina
2019 A conf
Private Votes on Untrusted Platforms: Models, Attacks and Provable Scheme.
EuroS&P
Sergiu Bursuc, Constantin Catalin Dragan, Steve Kremer
2019 A conf
Symbolic Methods in Computational Cryptography Proofs.
CSF
Gilles Barthe, Benjamin Grégoire, Charlie Jacomme, Steve Kremer, Pierre-Yves Strub
2018 A conf
An Extensive Formal Analysis of Multi-factor Authentication Protocols.
CSF
Charlie Jacomme, Steve Kremer
2018 A* conf
DEEPSEC: Deciding Equivalence Properties in Security Protocols Theory and Practice.
IEEE Symposium on Security and Privacy
Vincent Cheval, Steve Kremer, Itsaka Rakotonirina
2018 — conf
The DEEPSEC Prover.
CAV (2)
Vincent Cheval, Steve Kremer, Itsaka Rakotonirina
2017 A conf
A Novel Approach for Reasoning about Liveness in Cryptographic Protocols and Its Application to Fair Exchange.
EuroS&P
Michael Backes, Jannik Dreier, Steve Kremer, Robert Künnemann
2017 — conf
Automated Analysis of Equivalence Properties for Security Protocols Using Else Branches.
ESORICS (2)
Ivan Gazeau, Steve Kremer
2017 — conf
Beyond Subterm-Convergent Equational Theories in Automated Verification of Stateful Protocols.
POST
Jannik Dreier, Charles Duménil, Steve Kremer, Ralf Sasse
2017 A conf
Formal Verification of Protocols Based on Short Authenticated Strings.
CSF
Stéphanie Delaune, Steve Kremer, Ludovic Robin
2017 — conf
On Communication Models When Verifying Equivalence Properties.
POST
Kushal Babel, Vincent Cheval, Steve Kremer
2017 A conf
Symbolic Models for Isolated Execution Environments.
EuroS&P
Charlie Jacomme, Steve Kremer, Guillaume Scerri
2017 J jnl
Symbolic Models for Isolated Execution Environments.
IACR Cryptol. ePrint Arch.
Charlie Jacomme, Steve Kremer, Guillaume Scerri
2017 A conf
Symbolic Verification of Privacy-Type Properties for Security Protocols with XOR.
CSF
David Baelde, Stéphanie Delaune, Ivan Gazeau, Steve Kremer
2016 J jnl
Automated Verification of Equivalence Properties of Cryptographic Protocols.
ACM Trans. Comput. Log.
Rohit Chadha, Vincent Cheval, Stefan Ciobaca, Steve Kremer
2016 J jnl
Automated analysis of security protocols with global state.
J. Comput. Secur.
Steve Kremer, Robert Künnemann
2016 — ch.
Formal Models for Analyzing Security Protocols: Some Lecture Notes.
Dependable Software Systems Engineering
Véronique Cortier, Steve Kremer
2016 A conf
To Du or Not to Du: A Security Analysis of Du-Vote.
EuroS&P
Steve Kremer, Peter B. Rønne
2016 — conf
When Are Three Voters Enough for Privacy Properties?
ESORICS (2)
Myrto Arapinis, Véronique Cortier, Steve Kremer
2016 J jnl
When Are Three Voters Enough for Privacy Properties?
IACR Cryptol. ePrint Arch.
Myrto Arapinis, Véronique Cortier, Steve Kremer
2015 — conf
Type-Based Verification of Electronic Voting Protocols.
POST
Véronique Cortier, Fabienne Eigner, Steve Kremer, Matteo Maffei, Cyrille Wiedling
2015 J jnl
Type-Based Verification of Electronic Voting Protocols.
IACR Cryptol. ePrint Arch.
Véronique Cortier, Fabienne Eigner, Steve Kremer, Matteo Maffei, Cyrille Wiedling
2014 A* conf
Automated Analysis of Security Protocols with Global State.
IEEE Symposium on Security and Privacy
Steve Kremer, Robert Künnemann
2014 J jnl
Automated analysis of security protocols with global state.
CoRR
Steve Kremer, Robert Künnemann
2014 J jnl
Dynamic Tags for Security Protocols.
Log. Methods Comput. Sci.
Myrto Arapinis, Stéphanie Delaune, Steve Kremer
2014 J jnl
Foreword to the special issue on security and rewriting techniques.
Inf. Comput.
Steve Kremer, Paliath Narendran
2014 J jnl
Formal Models and Techniques for Analyzing Security Protocols: A Tutorial.
Found. Trends Program. Lang.
Véronique Cortier, Steve Kremer
2014 — ed.
Principles of Security and Trust - Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
POST
Martín Abadi, Steve Kremer
2013 J jnl
Composition of password-based protocols.
Formal Methods Syst. Des.
Céline Chevalier, Stéphanie Delaune, Steve Kremer, Mark Dermot Ryan
2013 — conf
Practical Everlasting Privacy.
POST
Myrto Arapinis, Véronique Cortier, Steve Kremer, Mark Ryan
2013 A conf
Universally Composable Key-Management.
ESORICS
Steve Kremer, Robert Künnemann, Graham Steel
2012 A conf
Automated Verification of Equivalence Properties of Cryptographic Protocols.
ESOP
Rohit Chadha, Stefan Ciobaca, Steve Kremer
2012 J jnl
Computing Knowledge in Security Protocols Under Convergent Equational Theories.
J. Autom. Reason.
Stefan Ciobaca, Stéphanie Delaune, Steve Kremer
2012 J jnl
Reducing Equational Theories for the Decision of Static Equivalence.
J. Autom. Reason.
Steve Kremer, Antoine Mercier, Ralf Treinen
2012 A conf
Security Protocols, Constraint Systems, and Group Theories.
IJCAR
Stéphanie Delaune, Steve Kremer, Daniel Pasaila
2012 J jnl
Universally Composable Key-Management.
IACR Cryptol. ePrint Arch.
Steve Kremer, Robert Künnemann, Graham Steel
2011 J jnl
A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems.
J. Autom. Reason.
Véronique Cortier, Steve Kremer, Bogdan Warinschi
2011 A conf
Formal Analysis of Protocols Based on TPM State Registers.
CSF
Stéphanie Delaune, Steve Kremer, Mark Dermot Ryan, Graham Steel
2011 — book
Formal Models and Techniques for Analyzing Security Protocols
Véronique Cortier, Steve Kremer
2011 — ch.
Introduction.
Formal Models and Techniques for Analyzing Security Protocols
Véronique Cortier, Steve Kremer
2011 — book
Modelling and analyzing security protocols in cryptographic process calculi.
Steve Kremer
2011 A conf
Security for Key Management Interfaces.
CSF
Steve Kremer, Graham Steel, Bogdan Warinschi
2011 — conf
Transforming Password Protocols to Compose.
FSTTCS
Céline Chevalier, Stéphanie Delaune, Steve Kremer
2010 — conf
A Formal Analysis of Authentication in the TPM.
Formal Aspects in Security and Trust
Stéphanie Delaune, Steve Kremer, Mark Dermot Ryan, Graham Steel
2010 J jnl
Computationally sound analysis of protocols using bilinear pairings.
J. Comput. Secur.
Steve Kremer, Laurent Mazaré
2010 A conf
Election Verifiability in Electronic Voting Protocols.
ESORICS
Steve Kremer, Mark Ryan, Ben Smyth
2010 J jnl
Formal security analysis of PKCS#11 and proprietary extensions.
J. Comput. Secur.
Stéphanie Delaune, Steve Kremer, Graham Steel
2010 J jnl
Symbolic bisimulation for the applied pi calculus.
J. Comput. Secur.
Stéphanie Delaune, Steve Kremer, Mark Dermot Ryan
2010 — conf
Towards Automatic Analysis of Election Verifiability Properties.
ARSPA-WITS
Ben Smyth, Mark Ryan, Steve Kremer, Mounira Kourjieh
2010 — conf
Verifying Privacy-Type Properties of Electronic Voting Protocols: A Taster.
Towards Trustworthy Elections
Stéphanie Delaune, Steve Kremer, Mark Ryan
2009 J jnl
Computationally sound implementations of equational theories against passive adversaries.
Inf. Comput.
Mathieu Baudet, Véronique Cortier, Steve Kremer
2009 A conf
Computing Knowledge in Security Protocols under Convergent Equational Theories.
CADE
Stefan Ciobaca, Stéphanie Delaune, Steve Kremer
2009 — conf
Epistemic Logic for the Applied Pi Calculus.
FMOODS/FORTE
Rohit Chadha, Stéphanie Delaune, Steve Kremer
2009 — ed.
Proceedings 7th International Workshop on Security Issues in Concurrency, SECCO 2009, Bologna, Italy, 5th September 2009.
SECCO
Michele Boreale, Steve Kremer
2009 — ed.
Proceedings of the 6th Workshop on Security Issues in Concurrency, SecCo@CONCUR 2008, Toronto, ON, Canada, August 23, 2008
SecCo@CONCUR
Steve Kremer, Prakash Panangaden
2009 — conf
Reducing Equational Theories for the Decision of Static Equivalence.
ASIAN
Steve Kremer, Antoine Mercier, Ralf Treinen
2009 — conf
Simulation based security in the applied pi calculus.
FSTTCS
Stéphanie Delaune, Steve Kremer, Olivier Pereira
2009 J jnl
Simulation based security in the applied pi calculus.
IACR Cryptol. ePrint Arch.
Stéphanie Delaune, Steve Kremer, Olivier Pereira
2009 J jnl
Verifying privacy-type properties of electronic voting protocols.
J. Comput. Secur.
Stéphanie Delaune, Steve Kremer, Mark Ryan
2008 A conf
Composition of Password-Based Protocols.
CSF
Stéphanie Delaune, Steve Kremer, Mark Ryan
2008 A conf
Formal Analysis of PKCS#11.
CSF
Stéphanie Delaune, Steve Kremer, Graham Steel
2008 — ed.
Formal Protocol Verification Applied, 14.10. - 19.10.2007
Formal Protocol Verification Applied
Liqun Chen, Steve Kremer, Mark Dermot Ryan
2008 B conf
From One Session to Many: Dynamic Tags for Security Protocols.
LPAR
Myrto Arapinis, Stéphanie Delaune, Steve Kremer
2008 — conf
Preface.
SecCo@CONCUR
Steve Kremer, Prakash Panangaden
2008 A conf
Proving Group Protocols Secure Against Eavesdroppers.
IJCAR
Steve Kremer, Antoine Mercier, Ralf Treinen
2007 — conf
07421 Abstracts Collection -- Formal Protocol Verification Applied.
Formal Protocol Verification Applied
Liqun Chen, Steve Kremer, Mark Dermot Ryan
2007 — conf
07421 Executive Summary -- Formal Protocol Verification Applied.
Formal Protocol Verification Applied
Liqun Chen, Steve Kremer, Mark Dermot Ryan
2007 A conf
Adaptive Soundness of Static Equivalence.
ESORICS
Steve Kremer, Laurent Mazaré
2007 — conf
Computational Soundness of Equational Theories (Tutorial).
TGC
Steve Kremer
2007 — conf
Symbolic Bisimulation for the Applied Pi Calculus.
FSTTCS
Stéphanie Delaune, Steve Kremer, Mark Ryan
2006 — conf
Coercion-Resistance and Receipt-Freeness in Electronic Voting.
CSFW
Stéphanie Delaune, Steve Kremer, Mark Ryan
2006 — conf
Computationally Sound Symbolic Secrecy in the Presence of Hash Functions.
FSTTCS
Véronique Cortier, Steve Kremer, Ralf Küsters, Bogdan Warinschi
2006 J jnl
Computationally Sound Symbolic Secrecy in the Presence of Hash Functions.
IACR Cryptol. ePrint Arch.
Véronique Cortier, Steve Kremer, Ralf Küsters, Bogdan Warinschi
2006 J jnl
Formal Analysis of Multiparty Contract Signing.
J. Autom. Reason.
Rohit Chadha, Steve Kremer, Andre Scedrov
2006 J jnl
Juggling with Pattern Matching.
Theory Comput. Syst.
Jean Cardinal, Steve Kremer, Stefan Langerman
2005 — conf
Analysis of a Multi-party Fair Exchange Protocol and Formal Proof of Correctness in the Strand Space Model.
Financial Cryptography
Aybek Mukhamedov, Steve Kremer, Eike Ritter
2005 A conf
Analysis of an Electronic Voting Protocol in the Applied Pi Calculus.
ESOP
Steve Kremer, Mark Ryan
2005 A* conf
Computationally Sound Implementations of Equational Theories Against Passive Adversaries.
ICALP
Mathieu Baudet, Véronique Cortier, Steve Kremer
2005 J jnl
Computationally sound implementations of equational theories against passive adversaries.
IACR Cryptol. ePrint Arch.
Mathieu Baudet, Véronique Cortier, Steve Kremer
2004 — conf
Analysing the Vulnerability of Protocols to Produce Known-pair and Chosen-text Attacks.
SecCo
Steve Kremer, Mark Ryan
2004 — conf
Formal Analysis of Multi-Party Contract Signing.
CSFW
Rohit Chadha, Steve Kremer, Andre Scedrov
2003 J jnl
A Game-based Verification of Non-repudiation and Fair Exchange Protocols.
J. Comput. Secur.
Steve Kremer, Jean-François Raskin
2003 Misc conf
An Efficient Strong Designated Verifier Signature Scheme.
ICISC
Shahrokh Saeednia, Steve Kremer, Olivier Markowitch
2003 J jnl
Fair multi-party non-repudiation protocols.
Int. J. Inf. Sec.
Steve Kremer, Olivier Markowitch
2002 J jnl
An intensive survey of fair non-repudiation protocols.
Comput. Commun.
Steve Kremer, Olivier Markowitch, Jianying Zhou
2002 — conf
Game Analysis of Abuse-free Contract Signing.
CSFW
Steve Kremer, Jean-François Raskin
2002 Misc conf
On Fairness in Exchange Protocols.
ICISC
Olivier Markowitch, Dieter Gollmann, Steve Kremer
2001 B conf
A Game-Based Verification of Non-repudiation and Fair Exchange Protocols.
CONCUR
Steve Kremer, Jean-François Raskin
2001 C conf
An Optimistic Non-repudiation Protocol with Transparent Trusted Third Party.
ISC
Olivier Markowitch, Steve Kremer
2001 Misc conf
Selective Receipt in Certified E-mail.
INDOCRYPT
Steve Kremer, Olivier Markowitch
2000 Misc conf
A Multi-Party Non-Repudiation Protocol.
SEC
Steve Kremer, Olivier Markowitch
2000 Misc conf
A Multi-party Optimistic Non-repudiation Protocol.
ICISC
Olivier Markowitch, Steve Kremer