Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: New Results


Belenios: a Simple Private and Verifiable Electronic Voting System

Participant : Pierrick Gaudry.

In [9], written with Véronique Cortier and Stéphane Glondu, we have summarized the current state of our voting platform Belenios. It was the occasion to put in a single place the description of several sub-parts of the protocol that are otherwise spread in many articles. We also made statistics regarding the use of the platform during the year 2018, and discussed how security features were or were not activated by the users.

A Simple Alternative to Benaloh Challenge for the Cast-as-Intended Property in Helios/Belenios

Participant : Pierrick Gaudry.

In a short note [17] written with Véronique Cortier, Jannik Dreier, and Mathieu Turuani from the PESTO team, we propose a simple technique that can be added to an Helios-like e-voting protocol, so that the voter can check whether their potentially infected computer has not silently changed their vote.

Breaking the Encryption Scheme of the Moscow Internet Voting System

Participant : Pierrick Gaudry.

In [19], written in collaboration with Alexander Golovnev (Harvard), we explain the vulnerabilities we have found in an Internet voting system used for the election for the representatives of the Moscow Duma that took place in September 2019. The weaknesses in the encryption scheme (based on the discrete logarithm problem in finite fields) were found in the source code that was made available in July 2019 as part of a public testing.