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

BeleniosRF: A Non-interactive Receipt-Free Electronic Voting Scheme. Pyrros Chaidos, Véronique Cortier, Georg Fuchsbauer, and David Galindo. In 23rd ACM Conference on Computer and Communications Security (CCS'16), pp. 1614–1625, ACM, Vienna, Austria, October 2016.

Download

[PDF] [HTML]

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.

BibTeX

@InProceedings{CCFG-ccs16,
  author = 	 {Pyrros Chaidos and V\'eronique Cortier and Georg Fuchsbauer and David Galindo},
  title = 	 {{BeleniosRF}:
A Non-interactive Receipt-Free Electronic Voting Scheme},
  booktitle = {23rd ACM Conference on Computer and Communications Security (CCS'16)},
  month = 	 {October},
  address = 	 {Vienna, Austria},
  publisher = {ACM},
  year = {2016},
  pages = {1614--1625},
    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.
},
  doi = {10.1145/2976749.2978337},
}