Zoom UGA 959 9591 1882 -- Passcode: 063113
17 avril 2025 - 14h00
Le Vote Ãlectronique Sécurisé à lâÃre de la Blockchain : Contexte, Défis et Solutions Innovantes
par Riadh ROBBANA de 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
