Belenios: A Simple Private and Verifiable Electronic Voting System
Belenios: A Simple Private and Verifiable Electronic Voting System. Véronique Cortier, Pierrick Gaudry, and Stéphane Glondu. pp. 214–238, Springer International Publishing, 2019.
Download
Abstract
We present the electronic voting protocol Belenios together with its associated voting platform. Belenios guarantees vote privacy and full verifiability, even against a compromised voting server. While the core of the voting protocol was already described and formally proved secure, we detail here the complete voting system from the setup to the tally and the recovery procedures.
BibTeX
@Inbook{Belenios-Meadows2019,
author="Cortier, V{\'e}ronique
and Gaudry, Pierrick
and Glondu, St{\'e}phane",
editor="Guttman, Joshua D.
and Landwehr, Carl E.
and Meseguer, Jos{\'e}
and Pavlovic, Dusko",
title="Belenios: A Simple Private and Verifiable Electronic Voting System",
bookTitle="Foundations of Security, Protocols, and Equational Reasoning: Essays Dedicated to Catherine A. Meadows",
year="2019",
publisher="Springer International Publishing",
pages="214--238",
abstract="We present the electronic voting protocol Belenios together with its associated voting platform. Belenios guarantees vote privacy and full verifiability, even against a compromised voting server. While the core of the voting protocol was already described and formally proved secure, we detail here the complete voting system from the setup to the tally and the recovery procedures.",
isbn="978-3-030-19052-1",
doi="10.1007/978-3-030-19052-1_14",
}