Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

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

Véronique Cortier 1 Jannik Dreier 1 Pierrick Gaudry 2 Mathieu Turuani 1
1 PESTO - Proof techniques for security protocols
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
2 CARAMBA - Cryptology, arithmetic : algebraic methods for better algorithms
LORIA - ALGO - Department of Algorithms, Computation, Image and Geometry, Inria Nancy - Grand Est
Abstract : 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.
Document type :
Preprints, Working Papers, ...
Complete list of metadata

Cited literature [6 references]  Display  Hide  Download
Contributor : Pierrick Gaudry Connect in order to contact the contributor
Submitted on : Tuesday, November 5, 2019 - 9:07:14 AM
Last modification on : Wednesday, November 3, 2021 - 7:09:38 AM
Long-term archiving on: : Thursday, February 6, 2020 - 8:34:07 PM


Files produced by the author(s)


  • HAL Id : hal-02346420, version 1


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⟩



Les métriques sont temporairement indisponibles