SPOOC: 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. BeleniosRF: A Non-interactive Receipt-Free Electronic Voting Scheme. In 23rd ACM Conference on Computer and Communications Security (CCS'16), ACM, Vienna, Austria, October 2016.
doi:10.1145/2976749.2978337

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,
  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 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,
  url =		 {http://doi.acm.org/10.1145/2976749.2978337},
  doi =		 {10.1145/2976749.2978337},
                  ={https://members.loria.fr/VCortier/files/Papers/ccs2016.pdf},
}