Monday November 11th 2023, during the FPS 2023 at Bordeaux INP , Stephanie Delaune from IRISA did a Keynote on « Formal verification of security protocols: the Squirrel prover » in the framework of SVP.
Keynote at the FPS 2023
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
