Charlie Jacomme

According to our database, Charlie Jacomme authored at least 19 papers between 2017 and 2024.

Collaborative distances:

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

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

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

Cas Cremers, Alexander Dax, Charlie Jacomme, Mang Zhao

IACR Cryptol. ePrint Arch., 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

2022

Universal Equivalence and Majority of Probabilistic Programs over Finite Fields.

Gilles Barthe, Charlie Jacomme, Steve Kremer

ACM Trans. Comput. Log., 2022

TokenWeaver: Privacy Preserving and Post-Compromise Secure Attestation.

Cas Cremers, Charlie Jacomme, Eyal Ronen

IACR Cryptol. ePrint Arch., 2022

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

Cas Cremers, Charlie Jacomme, Aurora Naska

IACR Cryptol. ePrint Arch., 2022

Subterm-based proof techniques for improving the automation and scope of security protocol analysis.

Cas Cremers, Charlie Jacomme, Philip Lukert

IACR Cryptol. ePrint Arch., 2022

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

Cas Cremers, Caroline Fontaine, Charlie Jacomme

IACR Cryptol. ePrint Arch., 2022

Sapic+: protocol verifiers of the world, unite!

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

IACR Cryptol. ePrint Arch., 2022

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

IACR Cryptol. ePrint Arch., 2022

2021

An Extensive Formal Analysis of Multi-factor Authentication Protocols.

Charlie Jacomme, Steve Kremer

ACM Trans. Priv. Secur., 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

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

Symbolic Proofs for Lattice-Based Cryptography.

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

IACR Cryptol. ePrint Arch., 2018

2017

Symbolic Models for Isolated Execution Environments.

Charlie Jacomme, Steve Kremer, Guillaume Scerri

IACR Cryptol. ePrint Arch., 2017