Charlie Jacomme
Full Time Researcher (CR) at Inria Nancy
Interests
- Protocol Security
- Privacy
- Formal Methods
- Composition Frameworks
Education
-
PhD in Computer Science, 2020
ENS Paris-Saclay
Awards
- 2 Distinguished paper awards at USENIX Security'23
- PhD thesis Award of the GdR sécurité
- PhD thesis Accessit of the Gilles Kahn award