Elections en ligne vérifiables avec Helios

Intervenant(s) : Stéphane GLONDU

  • Langue : English
  • Niveau : Confirmé
  • Type d'événement : Conférence
  • Date : Mardi 10 juillet 2012
  • Horaire : 15h20
  • Durée : 40 minutes
  • Lieu : Uni Mail R280
Public cible : Grand publicDécideursGeeks

Résumé

Le vote électronique se développe un peu partout dans le monde, ce qui en fait un sujet actif de recherche. Dans cet exposé, je vais présenter Helios, un système de vote en ligne entièrement libre, simple d’utilisation pour l’électeur, tout en fournissant sécurité et vérifiabilité, adapté aux environnements à faible coercition.

Biographie

Stéphane Glondu, ingénieur de recherche à l’Inria, travaillle actuellement sur le système de vote Helios. Il a précédemment travaillé au cours de sa thèse sur Coq, un système de gestion de preuves formelles sous licence libre. Ses principaux thèmes de recherche sont les preuves formelles et la fiabilité logicielle. Il est un fervent supporter des logiciels libres et contribue activement à la distribution Debian.

Documents joints

Slides conf
Slides conf (PDF - 518.9 ko)