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

Pyrros Chaidos, Veronique Cortier, Georg Fuchsbauer, David Galindo

Research output: Chapter in Book/Report/Conference proceedingConference contribution

24 Citations (Scopus)


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 languageEnglish
Title of host publicationCCS’16
Subtitle of host publicationProceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security
PublisherAssociation for Computing Machinery
ISBN (Print)9781450341394
Publication statusPublished - 24 Oct 2016
EventCCS'16: 2016 ACM SIGSAC Conference on Computer and Communications Security - Vienna, Austria
Duration: 24 Oct 201628 Oct 2016
Conference number: 23rd


Internet address


Dive into the research topics of 'BeleniosRF: a non-interactive receipt-free electronic voting scheme'. Together they form a unique fingerprint.

Cite this