Previous | 
Home
Section: New Software and Platforms
Belenios
Belenios - Verifiable online voting system
Keyword: E-voting
Functional Description
In collaboration with the Cassis team, we develop an open-source private and verifiable electronic voting protocol, named Belenios . Our system is an evolution of an existing system, Helios, developed by Ben Adida, and used e.g., by UCL and the IACR association in real elections. The main differences with Helios are the following ones:
-
In Helios, the ballot box publishes the encrypted ballots together with their corresponding voters. This raises a privacy issue in the sense that whether someone voted or not shall not necessarily be publicized on the web. Publishing this information is in particular forbidden by CNIL's recommendation. Belenios no longer publishes voters' identities, still guaranteeing correctness of the tally.
-
Helios is verifiable except that one has to trust that the ballot box will not add ballots. The addition of ballots is particularly hard to detect as soon as the list of voters is not public. We have therefore introduced an additional authority that provides credentials that the ballot box can verify but not forge [27] .
This new version has been implemented by Stéphane Glondu (http://belenios.gforge.inria.fr/ ). The first public release has been done in January 2014. Belenios has been used in Sep 2015 for the election of the new leader of the GT-C2 (Groupe de Travail Codes et Cryptographie) which is part of the GdR-IM (Groupement de Recherche Informatique Mathématique). The GT calcul formel of the GdR-IM plans to use Belenios in 2016 for the election of its new leader.
An online platform (https://belenios.loria.fr/ ) has been released in September 2015, so that setting up a new election can be done entirely from within a browser.