- presentation to the Inria Antique team by Justine Sauvage
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/
- SVP days 2024
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
- SVP day 2024
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/
- Vote par Internet : doit-on choisir entre confort et sécurité ?
Lucca Hirschi and Alexandre Debant, two researchers from Loria and members of the PEPR Cybersécurité SVP just published in The Conversation France an article on « Vote par Internet : doit-on choisir entre confort et sécurité ? ».https://theconversation.com/vote-par-internet-doit-on-choisir-entre-confort-et-securite-217691
- Keynote at the FPS 2023
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.