Room 206 (2nd floor, badged access)
17 avril 2025 - 14h00
DABSTERS: Distributed Authorities using Blind Signature To Effect Robust Security in e-voting
Riadh ROBANNA de INSAT - Université de Carthage
invité(e) par Laurent MOUNIER
17 avril 2025 - 14h00
DABSTERS: Distributed Authorities using Blind Signature To Effect Robust Security in e-voting
Riadh ROBANNA de INSAT - Université de Carthage
invité(e) par Laurent MOUNIER
Résumé : Dans un contexte où la confiance et la transparence dans les processus électoraux deviennent essentielles, la blockchain ouvre la voie à des systèmes de vote en ligne plus fiables. Cette présentation explore deux protocoles novateurs de vote en ligne, co-proposés avec Marwa CHAIEB, Pascal LAFOURCADE et Souheib YOUSFI, qui exploitent la blockchain et des primitives cryptographiques avancées afin d’assurer la confidentialité, la vérifiabilité et l’intégrité du scrutin.
Le premier protocole, Verify-Your-Vote, repose sur la blockchain Ethereum et s’appuie sur des mécanismes cryptographiques solides tels que la cryptographie basée sur les courbes elliptiques (ECC), les couplages bilinéaires, et le chiffrement basé sur l’identité (IBE). Il garantit l’éligibilité des électeurs, la vérifiabilité individuelle et universelle ainsi que la confidentialité des votes, tout en assurant une transparence totale.
Le second protocole, DABSTERS, est construit sur une blockchain permissionnée et introduit l’usage des signatures en aveugles d'Okamoto-Schnorr, renforçant la protection de l’anonymat des électeurs et la robustesse du processus de vote, sans dépendre d’un tiers de confiance.
Enfin, les deux protocoles font l’objet d’une modélisation formelle en Pi-calcul appliquée et d’une vérification automatique à l’aide de l’outil ProVerif, permettant de prouver mathématiquement des propriétés essentielles telles que la confidentialité, l’authentification et l'anonymat des votants. Cette présentation mettra en lumière leurs mécanismes, leurs contributions et les défis qui restent à relever pour des systèmes de vote électronique pleinement fiables et auditables.
