Charlie Jacomme

Charlie Jacomme

PostDoc at CISPA



  • Protocol Security
  • Privacy
  • Formal Methods
  • Composition Frameworks


  • PhD in Computer Science, 2020

    ENS Paris-Saclay


PhD Thesis Award

I got the PhD thesis Award of the GdR sécurité as well as an accessit for the Gilles Kahn award. Thanks to the jurees!
PhD Thesis Award

NoLimitSecu Podcast

I have been invited by the (french) podcast NoLimitSecu , dedicated to cybersecurity. The episode can be found here. They have lots of interesting stuff (in french), check it out!
NoLimitSecu Podcast


I’ve starting making some vulgarization videos. There’s a one-minute teaser preview for the Squirrel Prover, as well as a thirteen minutes video outlining its main concepts and ideas. And in French, my thesis in 137 seconds!

CSF'22 Program committee

Just joined the CSF'22 PC, and hoping to read your best papers!
CSF'22 Program committee

Squirrel Prover

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





Nov 2020 – Present 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.

Recent & Upcoming Talks

Decisions problems about propabilistic programs over finite fields, decidability and complexity.

Symbolic methods in computational cryptography proofs

Gröbner Basis and deducibility

Symbolic methods applied to the automation of computational proofs - Building simulators