News & Events
Prix de thèse du GDR Sécurité pour Charlie Jacomme
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.