SVP PEPR Cybersécurité

PEPR Cybersecurity Security Verification Protocol

Menu

publication

Source : Starus, CC BY-SA 4.0

Sécurisation du vote électronique : des failles et des solutions

Laisser un commentaire / publication /

À l’heure du tout numérique, la sécurisation des échanges d’informations revêt une importance capitale, surtout pour le vote électronique. Après avoir identifié des vulnérabilités dans le protocole mis en place pour les élections législatives en France de juin 2022, Alexandre Debant et Lucca Hirschi, chercheurs Inria dans l’équipe Pesto (commune à Inria et au Loria), […]

Sécurisation du vote électronique : des failles et des solutions Lire la suite »

Proving Unlinkability using ProVerif through Desynchronized Bi-Processes

Laisser un commentaire / publication /

David Baelde, Alexandre Debant, and Stéphanie DelauneUnlinkability is a privacy property of crucial im- portance for several systems such as mobile phones or RFID chips. Analysing this security property is very complex, and highly error-prone. Therefore, formal verification with machine support is desirable. Unfortunately, existing techniques are not sufficient to directly apply verification tools to

Proving Unlinkability using ProVerif through Desynchronized Bi-Processes Lire la suite »

About Us

Ce travail a bénéficié d’une aide de l’État gérée par l’Agence Nationale de la Recherche au titre du Plan France 2030 portant la référence ANR-22-PECY-0006

Twitter Linkedin
External resources
Contact Info