Section: New Results

E-voting

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.