This year’s distinguished paper award at the CSF Symposium went to Vincent Cheval member of the project SVP and Itsaka Rakotonirina for their paper on « Indistinguishability Beyond Diff-Equivalence in ProVerif. »
PEPR Cybersecurity Security Verification Protocol
About Us
Ce travail a bénéficié d’une aide de l’État gérée par l’Agence Nationale de la Recherche au titre du Plan France 2030 portant la référence ANR-22-PECY-0006
