Friday, February 9th Justine Sauvage, PhD Candidate in the project SVP did a presentation of her research to the Inria research team Antique.https://team.inria.fr/antique/
presentation to the Inria Antique team by Justine Sauvage Lire la suite »
The SVP Days 2024 took place in the Inria Center in Paris on the 6th of February 2024, you can find the program and presentation bellow. Speakers Slides
For the second year running, the PEPR Cybersécurité SVP project, part of the PEPR cybersecurity program, is organizing a study day the 06/02/2024 at the Inria Paris Center on the subject of security protocol verification. For registration and more informationhttps://pepr-svp-2024.sciencesconf.org/
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 Lire la suite »
Le 24 mars 2023, le consortium du projet SVP s’est retrouvé à l’Inria Paris pour une journée d’études. https://svp24mars.sciencesconf.org/program
Journée du projet SVP Lire la suite »
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
