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