Belenios: a simple private and verifiable electronic voting system - Archive ouverte HAL Access content directly
Conference Papers Year : 2019

Belenios: a simple private and verifiable electronic voting system

(1) , (2) , (3)
1
2
3

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)

Identifiers

Cite

Véronique Cortier, Pierrick Gaudry, Stephane Glondu. Belenios: a simple private and verifiable electronic voting system. Foundations of Security, Protocols, and Equational Reasoning, 2019, Fredericksburg, Virgina, United States. pp.214-238, ⟨10.1007/978-3-030-19052-1_14⟩. ⟨hal-02066930⟩
484 View
2500 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More