Belenios: a simple private and verifiable electronic voting system - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Book Sections Year : 2019

Belenios: a simple private and verifiable electronic voting system

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. We comment on the use of Belenios in practice. In particular, we discuss the security choices made by election administrators w.r.t. the decryption key and the delegation of some setup tasks to the voting platform.
Fichier principal
Vignette du fichier
article.pdf (561.16 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-02066930 , version 1 (13-03-2019)

Licence

Attribution

Identifiers

Cite

Véronique Cortier, Pierrick Gaudry, Stephane Glondu. Belenios: a simple private and verifiable electronic voting system. Joshua D. Guttman; Carl E. Landwehr; José Meseguer; Dusko Pavlovic. Foundations of Security, Protocols, and Equational Reasoning - Essays Dedicated to Catherine A. Meadows, 11565, Springer, pp.214-238, 2019, LNCS, ⟨10.1007/978-3-030-19052-1_14⟩. ⟨hal-02066930⟩
549 View
3280 Download

Altmetric

Share

Gmail Facebook X LinkedIn More