BeleniosRF: A Non-interactive Receipt-Free Electronic Voting Scheme

Abstract : We propose a new voting scheme, BeleniosRF, that offers both receipt-freeness and end-to-end verifiability. It is receipt-free in a strong sense, meaning that even dishonest voters cannot prove how they voted. We provide a game-based definition of receipt-freeness for voting protocols with non-interactive ballot casting, which we name strong receipt-freeness (sRF). To our knowledge, sRF is the first game-based definition of receipt-freeness in the literature, and it has the merit of being particularly concise and simple. Built upon the Helios protocol, BeleniosRF inherits its simplicity and does not require any anti-coercion strategy from the voters. We implement BeleniosRF and show its feasibility on a number of platforms, including desktop computers and smartphones.
Document type :
Conference papers
Complete list of metadatas

Cited literature [45 references]  Display  Hide  Download

https://hal.inria.fr/hal-01377917
Contributor : Véronique Cortier <>
Submitted on : Friday, October 7, 2016 - 8:56:10 PM
Last modification on : Thursday, February 7, 2019 - 3:49:54 PM
Long-term archiving on : Friday, February 3, 2017 - 11:49:17 PM

File

ccs2016(2).pdf
Files produced by the author(s)

Identifiers

Citation

Pyrros Chaidos, Véronique Cortier, Georg Fuchsbauer, David Galindo. BeleniosRF: A Non-interactive Receipt-Free Electronic Voting Scheme. 23rd ACM Conference on Computer and Communications Security (CCS'16), Oct 2016, Vienna, Austria. ⟨10.1145/2976749.2978337⟩. ⟨hal-01377917⟩

Share

Metrics

Record views

791

Files downloads

268