Charlie Jacomme
Charlie Jacomme
Home
Publications
Teaching
Non Academic Materials
Contact
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
Cite
Long Version
Charlie Jacomme
(2020).
Proofs of Security Protocols - Symbolic Methods and Powerful Attackers
. PhD Thesis.
PDF
Cite
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
Cite
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
Cite
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
Cite
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
Contact
charlie.jacomme@lsv.fr
Stuhlsatzenhaus 5, Saarbrücken, 66123
CISPA – Helmholtz Center for Information Security
Cite
×