Journée d’étude du projet SVP
6 février 2024
Inria Paris, 2 Rue Simone IFF, 75012 Paris
Le projet SVP intégré au PEPR cybersécurité organise pour la seconde année au centre Inria de Paris le 6 février 2024 une journée d’étude sur la thématique de la vérification des protocoles de sécurité.
La journée se composera de nombreux exposés scientifiques :
- Verification of security protocols: using SMT solvers in the Squirrel prover par Stanislas Riou
- Systematic Cryptographic Reductions Using Bi-Deduction par Justine Sauvage
- Formalizing Zero-Knowledge proofs for electronic voting in the CCSA mode par Margot Catinaud
- Secrecy by typing in the computational model par Clement Herouard
- DY Fuzzing: Formal Dolev-Yao Models Meet Protocol Fuzz Testing par Lucca Hirschi
- Modularity, Code Specialization, and Zero-Cost Abstractions for Program Verification par Aymeric Fromherz
- Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs par Martin Avanzini
- Election Verifiability with ProVerif par Alexandre Debant
Inscriptions jusqu’au 20 janvier 2024.
Autres Événements
Journée annuelle du projet SVP
Le mardi 28 janvier 2025, la journée annuelle du projet SVP du PEPR Cybersécurité a rassemblé les membres du projet pour discuter des avancées dans le domaine de la cybersécurité.
13 février 2025
Atelier sur les logiciels malveillants du projet DefMal
Le 12 mars dernier, au Campus Cyber à La Défense, le projet DefMal, un des dix projets sur le plan national du PEPR cybersécurité, a organisé un atelier autour de l’écosystème des logiciels malveillants et de la cybercriminalité.
15 mars 2025
Plénière du projet ARSENE
La 5e réunion plénière du projet ARSENE s’est tenue le 20 mars dernier au sein du laboratoire LIRMM à Montpellier.
25 mars 2025