Steve Kremer

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 38

Top Venues

IACR Cryptol. ePrint Arch.

CSF

EuroS&P

J. Comput. Secur.

Publications

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

Steve Kremer.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Steve Kremer