Congratulations to Bruno Blanchet member of the Pepr Svp for his Test of Time award on « An efficient Cryptographic Protocol Verifier Based on Prolog Rules » at the CSF symposium 2023
Test of Time award
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
