Charlie Jacomme
Charlie Jacomme
Home
Publications
Teaching
Non Academic Materials
Contact
Light
Dark
Automatic
Charlie Jacomme
PostDoc at Inria Paris
Interests
Protocol Security
Privacy
Formal Methods
Composition Frameworks
Education
PhD in Computer Science, 2020
ENS Paris-Saclay
Awards
PhD thesis Award of the
GdR sécurité
PhD thesis Accessit of the
Gilles Kahn
award
Program committees
USENIX Security'24
EuroS&P'23
CSF'22
,
CSF'23
Indocrypt'21
Cite
×