Charlie Jacomme

According to our database, Charlie Jacomme authored at least 21 papers between 2017 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Token Weaver: Privacy Preserving and Post-Compromise Secure Attestation.

Cas Cremers, Gal Horowitz, Charlie Jacomme, Eyal Ronen

Proceedings of the IEEE Symposium on Security and Privacy, 2025

Subversion-resilient Key-exchange in the Post-quantum World.

Kévin Duverger, Pierre-Alain Fouque, Charlie Jacomme, Guilhem Niot, Cristina Onete

Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, 2025

2024

The Squirrel Prover and its Logic.

David Baelde, Stéphanie Delaune, Charlie Jacomme, Adrien Koutsos, Joseph Lallemand

ACM SIGLOG News, April, 2024

Formal verification of the PQXDH Post-Quantum key agreement protocol for end-to-end secure messaging.

Karthikeyan Bhargavan, Charlie Jacomme, Franziskus Kiefer, Rolfe Schmidt

Proceedings of the 33rd USENIX Security Symposium, 2024

Post-Quantum Sound CryptoVerif and Verification of Hybrid TLS and SSH Key-Exchanges.

Bruno Blanchet, Charlie Jacomme

Proceedings of the 37th IEEE Computer Security Foundations Symposium, 2024

2023

A comprehensive, formal and automated analysis of the EDHOC protocol.

Charlie Jacomme, Elise Klein, Steve Kremer, Maïwenn Racouchot

Proceedings of the 32nd USENIX Security Symposium, 2023

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

Cas Cremers, Charlie Jacomme, Aurora Naska

Proceedings of the 32nd USENIX Security Symposium, 2023

Automated Analysis of Protocols that use Authenticated Encryption: How Subtle AEAD Differences can impact Protocol Security.

Cas Cremers, Alexander Dax, Charlie Jacomme, Mang Zhao

Proceedings of the 32nd USENIX Security Symposium, 2023

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

Vincent Cheval, Cas Cremers, Alexander Dax, Lucca Hirschi, Charlie Jacomme, Steve Kremer

Proceedings of the 32nd USENIX Security Symposium, 2023

Subterm-Based Proof Techniques for Improving the Automation and Scope of Security Protocol Analysis.

Cas Cremers, Charlie Jacomme, Philip Lukert

Proceedings of the 36th IEEE Computer Security Foundations Symposium, 2023

2022

TokenWeaver: Privacy Preserving and Post-Compromise Secure Attestation.

Cas Cremers, Charlie Jacomme, Eyal Ronen

IACR Cryptol. ePrint Arch., 2022

SAPIC+: protocol verifiers of the world, unite!

Vincent Cheval, Charlie Jacomme, Steve Kremer, Robert Künnemann

Proceedings of the 31st USENIX Security Symposium, 2022

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

Cas Cremers, Caroline Fontaine, Charlie Jacomme

Proceedings of the 43rd IEEE Symposium on Security and Privacy, 2022

2021

An Interactive Prover for Protocol Verification in the Computational Model.

David Baelde, Stéphanie Delaune, Charlie Jacomme, Adrien Koutsos, Solène Moreau

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

2020

Preuves de protocoles cryptographiques : méthodes symboliques et attaquants puissants. (Proofs of security protocols : symbolic methods and powerful attackers).

Charlie Jacomme

PhD thesis, 2020

Universal equivalence and majority of probabilistic programs over finite fields.

Gilles Barthe, Charlie Jacomme, Steve Kremer

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

Oracle Simulation: A Technique for Protocol Composition with Long Term Shared Secrets.

Hubert Comon, Charlie Jacomme, Guillaume Scerri

Proceedings of the CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, 2020

2019

Symbolic Methods in Computational Cryptography Proofs.

Gilles Barthe, Benjamin Grégoire, Charlie Jacomme, Steve Kremer, Pierre-Yves Strub

Proceedings of the 32nd IEEE Computer Security Foundations Symposium, 2019

2018

An Extensive Formal Analysis of Multi-factor Authentication Protocols.

Charlie Jacomme, Steve Kremer

Proceedings of the 31st IEEE Computer Security Foundations Symposium, 2018

Symbolic Proofs for Lattice-Based Cryptography.

Gilles Barthe, Xiong Fan, Joshua Gancher, Benjamin Grégoire, Charlie Jacomme, Elaine Shi

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

2017

Symbolic Models for Isolated Execution Environments.

Charlie Jacomme, Steve Kremer, Guillaume Scerri

Proceedings of the 2017 IEEE European Symposium on Security and Privacy, 2017