Steve Kremer
Publications
Publications
|
|
Are ideal functionalities really ideal?CSF 2026 – 39th IEEE Computer Security Foundations Symposium, Jul 2026, Lisbonne, Portugal |
|
|
A Comprehensive Formal Security Analysis of OPC UAUsenix Security 2025, 2025, Seattle (USA), Washington, United States |
|
|
DY Fuzzing: Formal Dolev-Yao Models Meet Cryptographic Protocol Fuzz Testing45th IEEE Symposium on Security and Privacy, 2024, San Francisco (CA, USA), United States |
|
|
A comprehensive, formal and automated analysis of the EDHOC protocolUSENIX Security '23 - 32nd USENIX Security Symposium, Aug 2023, Anaheim, CA, United States |
|
|
Hash Gone Bad: Automated discovery of protocol attacks that exploit hash function weaknesses32nd USENIX Security Symposium, Aug 2023, Anaheim, United States |
|
|
Symbolic protocol verification with dice: process equivalences in the presence of probabilitiesCSF'22 - 35th IEEE Computer Security Foundations Symposium, Aug 2022, Haifa, Israel |
|
|
Sapic+ : protocol verifiers of the world, unite!USENIX 2022 - 31st USENIX Security Symposium, Aug 2022, Boston, United States |
|
|
Universal equivalence and majority of probabilistic programs over finite fieldsACM/IEEE LICS 2020 - 35th Annual Symposium on Logic in Computer Science, Jul 2020, Saarbrücken / Virtual, Germany. pp.155-166, ⟨10.1145/3373718.3394746⟩ |
|
|
Exploiting Symmetries When Proving Equivalence Properties for Security ProtocolsCCS'19 - 26th ACM Conference on Computer and Communications Security, Nov 2019, London, United Kingdom |
|
|
Private votes on untrusted platforms: models, attacks and provable schemeEuroS&P 2019 - 4th IEEE European Symposium on Security and Privacy, Jun 2019, Stockholm, Sweden |
|
|
Symbolic Methods in Computational Cryptography ProofsCSF2019 - 32nd IEEE Computer Security Foundations Symposium, Jun 2019, Hoboken, United States. pp.136-13615, ⟨10.1109/CSF.2019.00017⟩ |
|
|
Contingent payments on a public ledger: models and reductions for automated verificationESORICS 2019 - The 24th European Symposium on Research in Computer Security, Sep 2019, Luxembourg, Luxembourg |
|
|
The DEEPSEC proverCAV 2018 - 30th International Conference on Computer Aided Verification, Jul 2018, Oxford, United Kingdom |
|
|
DEEPSEC: Deciding Equivalence Properties in Security Protocols - Theory and Practice39th IEEE Symposium on Security and Privacy, May 2018, San Francisco, United States |
|
|
An extensive formal analysis of multi-factor authentication protocolsCSF'2018 - 31st IEEE Computer Security Foundations Symposium, Jul 2018, Oxford, United Kingdom. ⟨10.1109/CSF.2018.00008⟩ |
|
|
On communication models when verifying equivalence properties6th International Conference on Principles of Security and Trust (POST), Apr 2017, Uppsala, Sweden |
|
|
Symbolic verification of privacy-type properties for security protocols with XORCSF 2017 - 30th IEEE Computer Security Foundations Symposium, Aug 2017, Santa Barbara, United States. pp.15 |
|
|
Automated analysis of equivalence properties for security protocols using else branches22nd European Symposium on Research in Computer Security (ESORICS'17), 2017, Oslo, Norway |
|
|
Symbolic Models for Isolated Execution Environments2nd IEEE European Symposium on Security and Privacy (EuroS&P'17), Apr 2017, Paris, France. ⟨10.1109/EuroSP.2017.16⟩ |
|
|
Beyond Subterm-Convergent Equational Theories in Automated Verification of Stateful Protocols (extended version)POST 2017 - 6th International Conference on Principles of Security and Trust, Apr 2017, Uppsala, Sweden. pp.117-140, ⟨10.1007/978-3-662-54455-6_6⟩ |
|
|
A Novel Approach for Reasoning about Liveness in Cryptographic Protocols and its Application to Fair Exchange2nd IEEE European Symposium on Security and Privacy (EuroS&P'17), Apr 2017, Paris, France. ⟨10.1109/EuroSP.2017.12⟩ |
|
|
On communication models when verifying equivalence properties (extended version)6th International Conference on Principles of Security and Trust (POST), 2017, Uppsala, Sweden |
|
|
Formal verification of protocols based on short authenticated stringsCSF 2017 - 30th IEEE Computer Security Foundations Symposium, Aug 2017, Santa Barbara, United States. pp.14 |
La création typographique au service des humanités numériquesColloque scientifique Collecta : des pratiques antiquaires aux humanités numériques, 2016, Paris, France |
|
|
|
To Du or not to Du: A Security Analysis of Du-VoteIEEE European Symposium on Security and Privacy 2016 , Mar 2016, Saarbrucken, Germany |
|
|
When are three voters enough for privacy properties?21st European Symposium on Research in Computer Security, 2016, Heraklion, Crete, Greece |
|
|
Type-Based Verification of Electronic Voting Protocols4th Conference on Principles of Security and Trust (POST), Apr 2015, London, United Kingdom |
|
|
Automated Analysis of Security Protocols with Global State35th IEEE Symposium on Security and Privacy (S&P'14), May 2014, San Jose, United States. pp.163-178, ⟨10.1109/SP.2014.18⟩ |
|
|
Universally Composable Key-Management18th European Symposium on Research in Computer Security (ESORICS'13), 2013, Egham, United Kingdom. ⟨10.1007/978-3-642-40203-6_19⟩ |
|
|
Practical Everlasting Privacy2nd Conferences on Principles of Security and Trust (POST'13), Mar 2013, Rome, Italy. pp.21-40, ⟨10.1007/978-3-642-36830-1_2⟩ |
|
|
Security protocols, constraint systems, and group theories6th International Joint Conference on Automated Reasoning (IJCAR'12), Jun 2012, Manchester, United Kingdom. pp.164-178, ⟨10.1007/978-3-642-31365-3_15⟩ |
|
|
Automated verification of equivalence properties of cryptographic protocols21th European Symposium on Programming (ESOP'12), Mar 2012, Talinn, Estonia. pp.108-127, ⟨10.1007/978-3-642-28869-2_6⟩ |
|
|
Formal analysis of protocols based on TPM state registers24th IEEE Computer Security Foundations Symposium (CSF'11), Jun 2011, Cernay-la-Ville, France. ⟨10.1109/CSF.2011.12⟩ |
|
|
Transforming Password Protocols to Compose31st Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'11), Dec 2011, Mumbai, India |
|
|
Security for Key Management Interfaces24th IEEE Computer Security Foundations Symposium (CSF'11), Jun 2011, Cernay-la-Ville, France. ⟨10.1109/CSF.2011.25⟩ |
Reducing Equational Theories for the Decision of Static EquivalenceAdvances in Computer Science - ASIAN 2009, Dec 2009, Seoul, South Korea. pp.94--108, ⟨10.1007/978-3-642-10622-4_8⟩ |
|
Proving Group Protocols Secure Against Eavesdroppers4th International Joint Conference on Automated Reasoning (IJCAR 2008), Aug 2008, Sydney, Australia. pp.116-131, ⟨10.1007/978-3-540-71070-7_9⟩ |
|
Computationally Sound Symbolic Secrecy in the Presence of Hash FunctionsProceedings of the 26th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'06), Dec 2006, Kolkata, India |
|
Computationally Sound Implementations of Equational Theories against Passive Adversaries32nd International Colloquium on Automata, Languages and Programming - ICALP 2005, Jul 2005, Lisbonne/Portugal, pp.652-663, ⟨10.1007/11523468⟩ |
|
|
CybersécuritéInria, 3, pp.18, 2019, Inria white book |
|
|
CybersecurityInria, 3, pp.172, 2019, Inria white book |
|
|
Formal Models and Techniques for Analyzing Security Protocols: A TutorialKnow Publishers, 1 (3), pp.117, 2014, Foundations and Trends® in Programming Languages, 978-1-60198-903-1. ⟨10.1561/2500000001⟩ |
Formal Models and Techniques for Analyzing Security ProtocolsCortier, Véronique and Kremer, Steve. IOS Press, 5, pp.312, 2011, Cryptology and Information Security Series, 978-1-60750-713-0 |
|
|
Le traçage anonyme, dangereux oxymoreLe droit face au coronavirus, LexisNexis, pp.468--480, 2021, 9782711036394 |
|
|
The hitchhiker's guide to decidability and complexity of equivalence properties in security protocolsNigam, V., Ban Kirigin, T., Talcott, C., Guttman, J., Kuznetsov, S., Thau Loo, B., Okada, M. Logic, Language, and Security - Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday, LNCS-12300, Springer, 2020, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-62077-6_10⟩ |
|
|
Réponse au projet de mise à jour de la recommandation de la CNIL sur le vote électronique2025 |
|
|
Tamarin Unchained: Handling User-Defined AC Operators2026 |
|
|
Symbolic protocol verification with dice: process equivalences in the presence of probabilities (extended version)2023 |
|
|
Universally Composable Key-Management2012 |
|
|
Modelling and analyzing security protocols in cryptographic process calculiComputer Science [cs]. École normale supérieure de Cachan - ENS Cachan, 2011 |