A simple alternative to Benaloh challenge for the cast-as-intended property in Helios/Belenios - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2019

A simple alternative to Benaloh challenge for the cast-as-intended property in Helios/Belenios

Résumé

Helios is a well-established online voting protocol which has been used for different real world elections, and which aims at ensuring-among other properties-verifiability. Belenios is a variant of Helios that brings eligibility verifiability and a threshold decryption à la Pedersen to distribute trust. In both protocols, the cast-as-intended property, part of verifiability, is obtained using a castor audit technique known as Benaloh challenge: each voter can choose to either audit her encrypted ballot, or to submit it. However, an audited ballot can never be submitted, as the audit breaks vote secrecy. This means that in particular none of the ballots which are actually submitted and counted have been audited. We propose a simple variant, that might be better suited in some situations. In our solution, each vote is partially audited before being submitted. The partial audit ensures that errors are detected with a certain probability, without breaking secrecy.
Fichier principal
Vignette du fichier
oilben.pdf (376.29 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02346420 , version 1 (05-11-2019)

Identifiants

  • HAL Id : hal-02346420 , version 1

Citer

Véronique Cortier, Jannik Dreier, Pierrick Gaudry, Mathieu Turuani. A simple alternative to Benaloh challenge for the cast-as-intended property in Helios/Belenios. 2019. ⟨hal-02346420⟩
253 Consultations
559 Téléchargements

Partager

Gmail Facebook X LinkedIn More