
Charlie Jacomme, ancien doctorant du LSV, est lauréat du Prix de thèse 2021 du GDR Sécurité pour sa thèse Proofs of Security Protocols - Symbolic Methods and Powerful Attackers.
Charlie Jacomme, ancien doctorant du LSV, est lauréat du Prix de thèse 2021 du GDR Sécurité pour sa thèse Proofs of Security Protocols - Symbolic Methods and Powerful Attackers.