Véronique Cortier : Vote électronique

Véronique Cortier : équipe “méthodes formelles” au LORIA, à Nancy.

Vote

Aux États-Unis :

• “Voting machines” au début du 20ème siècle
• Vote avec cartes à perforer
• plus récemment : vote électronique

Vote électronique :

Machine à voter ou Vote par internet

On parlera du vote par internet.

NB :

• aboli au Pays-Bas en 2008
• En Allemagne : grosses restrictions
• Norvège : plus utilisé depuis 2013

Pourquoi ? Car pas de garantie d’intégrité du vote.

• En France : utilisation du vote électronique de plus en plus.

---

Alex Halderman a réussi, avec son équipe, à récupérer tout le matériel électoral destiné aux militaires américains (c’était légal pendant 3 jours, à titre de tests).

---

Bon système de vote électronique :

• secret du vote
• résistance à la coercition ⟶ on ne peut pas force quelqu’un à voter, il ne faut pas qu’on puisse prouver pour qui on a voté

• vérifiabilité :

  • individuelle : on peut être sûr que son bulletin est dans l’urne
  • universelle : tout le monde peut vérifier que le résultat correspond aux bulletins dans l’urne
  • de l’éligibilité : vrais votes, par des votants légitimes
• disponibilité, accessibilité

---

Chiffrement asymétrique

Clé publique, clé privée.

⟶ $n$ clés publiques pour chiffrer, $k$ parmi $n$ clés privées.

---

Preuve à connaissance nulle :

Comment prouver qu’on a trouvé Charlie sans révéler où il est ?

• Utiliser un tiers de confiance
• Photocopier et découper
• Mettre un grand cache avec un trou de la forme de Charlie

Belenios

ProVerif par Brunot Blanchet