Charlie Jacomme

Charlie Jacomme

Full Time Researcher (CR) at Inria Nancy

Biography

Interests

  • Secure Messaging
  • Privacy
  • Formal Methods
  • Post-Quantum Security

Program committees

News

The hitchiker's guide to a PhD

I’m contributing to a short booklet meant to help students navigates their PhDs, and raise awereness about discrimation and harassment issues. All the infos are here.
The hitchiker's guide to a PhD

Signal

I did a formal analysis of Signal, which lead to several interesting findings and updates to the specification of the new PQXDH protocol. This is joint work with Cryspen and Signal, and this blog post details everything!
Signal

Squirrel Prover

One of my main projects is out in the wild. Learn more on the website now!
Squirrel Prover

Recent Publications

Clément Hérouard, Charlie Jacomme, Adrien Koutsos, Joseph Lallemand. Secrecy in Squirrel and the Post-Compromise Security of a Ratchet.
CCS 2026 - 33rd ACM Conference on Computer and Communications Security.
Bruno Blanchet, Aymeric Fromherz, Charlie Jacomme, Benjamin Lipp, Emmanuel Mera. CV2F★ : Combining CryptoVerif and F★ for Proving Security of Protocol Implementations.
CCS 2026 - 33rd ACM Conference on Computer and Communications Security.
David Baelde, Antoine Dallon, Stéphanie Delaune, Charlie Jacomme, Adrien Koutsos. Robust Logical Foundations for Mechanizing Post-Quantum Cryptography in Squirrel.
CCS 2026 - 33rd ACM Conference on Computer and Communications Security.
Vincent Cheval, Charlie Jacomme, Jessica Richards. Automated formal analysis of Signal’s Double Ratchet: attacks, fixes and security proofs.
S&P 2026 - 47th IEEE Symposium on Security and Privacy.
Myrto Arapinis, Véronique Cortier, Hubert de Groote, Charlie Jacomme, Steve Kremer. Are ideal functionalities really ideal?
CSF 2026 – 39th IEEE Computer Security Foundations Symposium.
Kévin Duverger, Pierre-Alain Fouque, Charlie Jacomme, Guilhem Niot, Cristina Onete. Subversion-resilient Key-exchange in the Post-quantum World.
CCS 2025 - 32nd ACM Conference on Computer and Communications Security.
Cas Cremers, Gal Horowitz, Charlie Jacomme, Eyal Ronen. Token Weaver: Privacy Preserving and Post-Compromise Secure Attestation.
S&P 2025 - 46th IEEE Symposium on Security and Privacy.
See all publications (dblp)

Non-academic stuffs

Notes from a 10 days Workshop with Keith Johnstone

From 2013 to 2020, I did improvisation theather. In October 2018, I had the opportinity to participate in a 10 days Workshop with Keith Johnstone, one of the pioneers of improvisation. Here are my cleaned-up notes and thoughts from thi workshop, in French or English (untouched since 2020, my opinion and advice may have varied greatly on many points).
Notes from a 10 days Workshop with Keith Johnstone

Experience

 
 
 
 
 

Full time researcher (Chargé de Recherche)

Inria Nancy

Jan 2024 – Present Nancy
Full time researcher in the Pesto team.
 
 
 
 
 

Postdoc

Inria

Sep 2022 – Oct 2023 Paris
Postdoc in the Prosecco team with Bruno Blanchet.
 
 
 
 
 

Postdoc

CISPA

Nov 2020 – Jul 2022 Saarbrucken
Postdoc in the team of Cas Cremers.
 
 
 
 
 

PhD student

LSV, ENS Paris-Saclay

Sep 2017 – Sep 2020
PhD under the supervision of Hubert Comon and Steve Kremer.

Contact