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

Hubert Comon, Charlie Jacomme, Guillaume Scerri (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

Charlie Jacomme (2020). Proofs of Security Protocols - Symbolic Methods and Powerful Attackers. PhD Thesis.

PDF

Gilles Barthe, Charlie Jacomme, Steve Kremer (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

Gilles Barthe, Benjamin Grégoire, Charlie Jacomme, Steve Kremer, Pierre-Yves Strub (2019). Symbolic methods in computational cryptography proofs. Proceedings of the 31st IEEE Computer Security Foundations Symposium (CSF'19).

PDF DOI

Gilles Barthe, Xiong Fan, Joshua Gancher, Benjamin Grégoire, Charlie Jacomme, Elaine Shi (2018). Symbolic Proofs for Lattice-Based Cryptography. Proceedings of the 25th ACM Conference on Computer and Communications Security (CCS'18).

PDF

See all publications

Recent & Upcoming Talks

A formal composition framework

A composition framework suitable for the Bana-Comon logic.

Jan 29, 2020 At CISPA and TU Wien

PDF

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

Sep 26, 2019 LICS'20, Annual PhD students day of the formal methods department of LORIA

PDF

Symbolic methods in computational cryptography proofs

Jun 18, 2019 CSF'19, Journée GT MFS 2019 and Pesto working group

PDF

Gröbner Basis and deducibility

Oct 26, 2018 EJCIM 2018 spring school

PDF

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

Aug 12, 2018 FOSAD 18 summer school and Annual PhD students day of the formal methods department of LORIA

PDF

See all talks