Verifiable on-line elections with Helios

Speaker(s) : Stéphane GLONDU

  • Language : English
  • Level : Confirmed
  • Nature : Conference
  • Date : Tuesday 10 July 2012
  • Schedule : 15h20
  • Duration : 40 minutes
  • Place : Uni Mail R280
Target audience : General publicDecision makersGeeks


Electronic voting is being deployed in various situations around the world, making the suject an active research topic. I will explain the issues at stake and I will present Helios, a purely free and open-source Web-based voting system that strives to be easy to use for the casual voter while providing state-of-the-art security and verifiability in a low-coercion environment.


Stéphane Glondu is a research engineer at Inria, and is currently working on the Helios voting system. He previously worked (as part of his PhD research) on the Coq proof assistant, another free and open source software. His main research interests are formal methods and software reliability. He is a free software enthusiast and actively contributes to the Debian operating system.

Attached documents

Slides conf
Slides conf (PDF - 518.9 kb)