Journée d’étude du projet SVP

Événements | La sécurité des protocoles et du vote électronique, Recherche

6 février 2024

Inria Paris, 2 Rue Simone IFF, 75012 Paris

Equipe 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.

S’inscrire

Autres Événements

  • Événements
  • Valorisation
Venez découvrir le PEPR Cybersécurité au FIC 2023
Le Forum International de la Cybersécurité (FIC) 2023 est l’un des principaux événements européens sur les questions de la sécurité et de confiance numérique.
15 janvier 2023
  • Événements
  • Données personnelles
Données de santé – Entre Partage et Protection
Données personnelles sensibles par excellence, les données de santé sont au cœur du parcours de soin du patient mais également de nombreux travaux de recherche et sont, à ce titre, collectées, rassemblées, partagées et traitées.
4 avril 2023