Prix de thèse du GDR sécurité informatique
20 juillet 2021
Bravo à Charlie Jacomme, qui a reçu le Prix de Thèse du GDR Sécurité Informatique du CNRS, pour sa thèse « Proofs of Security Protocols – Symbolic Methods and Powerful Attackers », sous la direction de Hubert Comon (ENS Paris Saclay) et Steve Kremer (Pesto).
Lire sa thèse ici