Charlie Jacomme

Charlie Jacomme

PostDoc at CISPA

Biography

Interests

  • Protocol Security
  • Privacy
  • Formal Methods
  • Composition Frameworks

Education

  • PhD in Computer Science, 2020

    ENS Paris-Saclay

Experience

 
 
 
 
 

Postdoc

CISPA

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

Contact

  • charlie.jacomme@lsv.fr
  • Stuhlsatzenhaus 5, Saarbrücken, 66123
  • CISPA – Helmholtz Center for Information Security