BeleniosRF: a non-interactive receipt-free electronic voting scheme

Pyrros Chaidos; Veronique Cortier; Georg Fuchsbauer; David Galindo

doi:10.1145/2976749.2978337

BeleniosRF: a non-interactive receipt-free electronic voting scheme

Pyrros Chaidos
, Veronique Cortier
, Georg Fuchsbauer
, David Galindo

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

24 Citations (Scopus)

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.

Original language	English
Title of host publication	CCS’16
Subtitle of host publication	Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security
Publisher	Association for Computing Machinery
Pages	1614-1625
ISBN (Print)	9781450341394
DOIs	https://doi.org/10.1145/2976749.2978337
Publication status	Published - 24 Oct 2016
Event	CCS'16: 2016 ACM SIGSAC Conference on Computer and Communications Security - Vienna, Austria Duration: 24 Oct 2016 → 28 Oct 2016 Conference number: 23rd https://www.sigsac.org/ccs/CCS2016/

Conference

Conference	CCS'16
Country/Territory	Austria
City	Vienna
Period	24/10/16 → 28/10/16
Internet address	https://www.sigsac.org/ccs/CCS2016/

Access to Document

10.1145/2976749.2978337Licence: None: All rights reserved

https://dl.acm.org/doi/10.1145/2976749.2978337Licence: None: All rights reserved

Cite this

@inproceedings{6543999df5494e23ac7a20313bc1f647,

title = "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.",

author = "Pyrros Chaidos and Veronique Cortier and Georg Fuchsbauer and David Galindo",

year = "2016",

month = oct,

day = "24",

doi = "10.1145/2976749.2978337",

language = "English",

isbn = "9781450341394",

pages = "1614--1625",

booktitle = "CCS{\textquoteright}16",

publisher = "Association for Computing Machinery ",

note = "CCS'16 : 2016 ACM SIGSAC Conference on Computer and Communications Security ; Conference date: 24-10-2016 Through 28-10-2016",

url = "https://www.sigsac.org/ccs/CCS2016/",

}

BeleniosRF: a non-interactive receipt-free electronic voting scheme. / Chaidos, Pyrros; Cortier, Veronique; Fuchsbauer, Georg et al.
CCS’16: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery , 2016. p. 1614-1625.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - BeleniosRF

T2 - CCS'16

AU - Chaidos, Pyrros

AU - Cortier, Veronique

AU - Fuchsbauer, Georg

AU - Galindo, David

N1 - Conference code: 23rd

PY - 2016/10/24

Y1 - 2016/10/24

N2 - 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.

AB - 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.

U2 - 10.1145/2976749.2978337

DO - 10.1145/2976749.2978337

M3 - Conference contribution

SN - 9781450341394

SP - 1614

EP - 1625

BT - CCS’16

PB - Association for Computing Machinery

Y2 - 24 October 2016 through 28 October 2016

ER -

BeleniosRF: a non-interactive receipt-free electronic voting scheme

Abstract

Conference

Access to Document

Fingerprint

Cite this