https://eyalro.net/authors/charlie-jacomme.html
Charlie Jacomme | Eyal Ronen
charlie jacommeronen
https://charlie.jacomme.fr/author/cristina-onete/
Cristina Onete | Charlie Jacomme
Full Time Researcher (CR) at Inria Nancy
cristina onetecharlie
https://charlie.jacomme.fr/publication/cremers-2025-token/
Token Weaver: Privacy Preserving and Post-Compromise Secure Attestation | Charlie Jacomme
Sep 8, 2025 - Add the full text or supplementary notes for the publication here using Markdown formatting.
tokenweaverprivacypreserving
https://charlie.jacomme.fr/project/signal/
Signal | Charlie Jacomme
Oct 21, 2023 - []()I did a formal analysis of Signal, which lead to several interesting findings and updates to the specification of the new...
signal charlie
https://charlie.jacomme.fr/talk/compo20/
A formal composition framework | Charlie Jacomme
A composition framework suitable for the Bana-Comon logic.
formalcompositionframeworkcharlie