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

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

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