La sécurité des protocoles et du vote électronique

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