Journée d’étude du projet SVP

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.