Section: New Software and Platforms

Belenios

Belenios - Verifiable online voting system

Keyword: E-voting

Functional Description: Belenios is an online voting system that provides confidentiality and verifiability. End-to-end verifiablity relies on the fact that the ballot box is public (voters can check that their ballots have been received) and on the fact that the tally is publicly verifiable (anyone can recount the votes). Confidentiality relies on the encryption of the votes and the distribution of the decryption key.

Belenios builds upon Helios, a voting protocol used in several elections. The main design enhancement of Belenios vs Helios is that the ballot box can no longer add (fake) ballots, due to the use of credentials.

• Participants: Pierrick Gaudry, Stéphane Glondu and Véronique Cortier

• Partners: CNRS - Inria

• Contact: Stéphane Glondu

• URL: http://belenios.gforge.inria.fr/