Search - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly

Filter your results

17 Results
authFullName_s : Charlie Jacomme
Image document

A Logic and an Interactive Prover for the Computational Post-Quantum Security of Protocols

Cas Cremers , Caroline Fontaine , Charlie Jacomme
S&P 2022 - 43rd IEEE Symposium on Security and Privacy, May 2022, San Francisco / Virtual, United States
Conference papers hal-03620358v3
Image document

An Extensive Formal Analysis of Multi-factor Authentication Protocols

Charlie Jacomme , Steve Kremer
ACM Transactions on Privacy and Security, 2021, 24 (2), pp.1-34. ⟨10.1145/3440712⟩
Journal articles hal-03468848v1

Formal Analysis of Session-Handling in Secure Messaging: Lifting Security from Sessions to Conversations

Cas Cremers , Charlie Jacomme , Aurora Naska
USENIX Security 2023 - 32nd USENIX SEcurity Symposium, Aug 2023, Anaheim, United States
Conference papers hal-03996689v1
Image document

A comprehensive, formal and automated analysis of the EDHOC protocol

Charlie Jacomme , Elise Klein , Steve Kremer , Maïwenn Racouchot
USENIX Security '23 - 32nd USENIX Security Symposium, Aug 2023, Anaheim, CA, United States
Conference papers hal-03810102v1
Image document

Oracle simulation: a technique for protocol composition with long term shared secrets

Hubert Comon , Charlie Jacomme , Guillaume Scerri
ACM CCS 2020, Nov 2020, Orlando, United States. pp.1427-1444
Conference papers hal-02913866v1
Image document

Symbolic Proofs for Lattice-Based Cryptography

Gilles Barthe , Xiong Fan , Joshua Gancher , Benjamin Grégoire , Charlie Jacomme et al.
CCS 2018 - Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security Canada, October 15-19, 2018, Oct 2018, Toronto, Canada. pp.538-555, ⟨10.1145/3243734.3243825⟩
Conference papers hal-01959391v2
Image document

An Interactive Prover for Protocol Verification in the Computational Model

David Baelde , Stéphanie Delaune , Charlie Jacomme , Adrien Koutsos , Solène Moreau et al.
SP 2021 - 42nd IEEE Symposium on Security and Privacy, May 2021, San Fransisco / Virtual, United States
Conference papers hal-03172119v1
Image document

Extending the SQUIRREL meta-logic for reasoning over security protocols

David Baelde , Stéphanie Delaune , Charlie Jacomme , Adrien Koutsos , Solène Moreau et al.
2021
Preprints, Working Papers, ... hal-03264227v1
Image document

Symbolic Methods in Computational Cryptography Proofs

Gilles Barthe , Benjamin Grégoire , Charlie Jacomme , Steve Kremer , Pierre-Yves Strub et al.
CSF2019 - 32nd IEEE Computer Security Foundations Symposium, Jun 2019, Hoboken, United States. pp.136-13615, ⟨10.1109/CSF.2019.00017⟩
Conference papers hal-02404701v1
Image document

Hash Gone Bad: Automated discovery of protocol attacks that exploit hash function weaknesses

Vincent Cheval , Cas Cremers , Alexander Dax , Lucca Hirschi , Charlie Jacomme et al.
32nd USENIX Security Symposium, Aug 2023, Anaheim, United States
Conference papers hal-03795715v1
Image document

Universal equivalence and majority of probabilistic programs over finite fields

Gilles Barthe , Charlie Jacomme , Steve Kremer
[Research Report] MPI SP; LSV, ENS Cachan, CNRS, INRIA, Université Paris-Saclay, Cachan (France); LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2020
Reports hal-02552287v2
Image document

Symbolic Models for Isolated Execution Environments

Charlie Jacomme , Steve Kremer , Guillaume Scerri
2nd IEEE European Symposium on Security and Privacy (EuroS&P'17), Apr 2017, Paris, France. ⟨10.1109/EuroSP.2017.16⟩
Conference papers hal-01396291v1
Image document

Universal equivalence and majority of probabilistic programs over finite fields

Gilles Barthe , Charlie Jacomme , Steve Kremer
ACM/IEEE LICS 2020 - 35th Annual Symposium on Logic in Computer Science, Jul 2020, Saarbrücken / Virtual, Germany. pp.155-166, ⟨10.1145/3373718.3394746⟩
Conference papers hal-02961583v1
Image document

Preuves de protocoles cryptographiques : méthodes symboliques et attaquants puissants

Charlie Jacomme
Cryptographie et sécurité [cs.CR]. Université Paris-Saclay, 2020. Français. ⟨NNT : 2020UPASG005⟩
Theses tel-02972373v1
Image document

An extensive formal analysis of multi-factor authentication protocols

Charlie Jacomme , Steve Kremer
CSF'2018 - 31st IEEE Computer Security Foundations Symposium, Jul 2018, Oxford, United Kingdom. ⟨10.1109/CSF.2018.00008⟩
Conference papers hal-01922022v1
Image document

Universal Equivalence and Majority of Probabilistic Programs over Finite Fields

Gilles Barthe , Charlie Jacomme , Steve Kremer
ACM Transactions on Computational Logic, 2022, 23 (1), pp.1-42. ⟨10.1145/3487063⟩
Journal articles hal-03468834v1
Image document

Sapic+ : protocol verifiers of the world, unite!

Vincent Cheval , Charlie Jacomme , Steve Kremer , Robert Künnemann
USENIX 2022 - 31st USENIX Security Symposium, Aug 2022, Boston, United States
Conference papers hal-03693843v3