Charlie Jacomme
Charlie Jacomme
Affiliation: Université de Lorraine, Inria, CNRS, LORIA
Affiliation: Inria Nancy Grand-Est, Université de Lorraine, LORIA
Pages in this Program
Are ideal functionalities really ideal?
Robust Logical Foundations for Mechanizing Post-Quantum Cryptography in Squirrel
A Secrecy Logic and the Post-Compromise Security of an Asymmetric Ratchet
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑