Zoom UGA 959 9591 1882 -- Passcode: 063113
17 April 2025 - 14h00
Le Vote Électronique Sécurisé à l’Ère de la Blockchain : Contexte, Défis et Solutions Innovantes
by Riadh ROBBANA from INSAT - Université de Carthage
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.
Remote on https://univ-grenoble-alpes-fr.zoom.us/j/95995911882?pwd=IBZaNahDEgZVMI1hrLAl6g0aVa3mCN.1
Meeting ID: 959 9591 1882
Passcode: 063113