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
Inria Nancy - Grand Est, LORIA - ALGO - Department of Algorithms, Computation, Image and Geometry
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 metadatas

Cited literature [6 references]  Display  Hide  Download

https://hal.inria.fr/hal-02346420
Contributor : Pierrick Gaudry <>
Submitted on : Tuesday, November 5, 2019 - 9:07:14 AM
Last modification on : Wednesday, November 6, 2019 - 1:32:54 AM
Long-term archiving on: Thursday, February 6, 2020 - 8:34:07 PM

File

oilben.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02346420, version 1

Citation

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⟩

Share

Metrics

Record views

25

Files downloads

215