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 Publications

(2020). Oracle simulation: a technique for protocol composition with long term shared secrets. Proceedings of the 27st ACM Conference on Computer and Communications Security (CCS'20).

PDF Long Version

(2020). Universal equivalence and majority on probabilistic programs over finite fields. Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'20).

PDF

(2019). Symbolic methods in computational cryptography proofs. Proceedings of the 31st IEEE Computer Security Foundations Symposium (CSF'19).

PDF DOI

(2018). Symbolic Proofs for Lattice-Based Cryptography. Proceedings of the 25th ACM Conference on Computer and Communications Security (CCS'18).

PDF

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