BeleniosRF: A Strongly Receipt-Free Electronic Voting Scheme.
Véronique Cortier, Georg Fuchsbauer, David Galindo · IACR Cryptology ePrint Archive · 2015
We propose a new voting scheme, BeleniosRF, that offers both strong receipt-freeness and end-to-end verifiability. It is strongly receipt-free in the sense that even dishonest voters cannot prove how they voted. We give a game-based definition capturing this property, inspired by and improving the original receipt-freeness definition by Benaloh and Tuinstra. Built upon the Helios protocol, BeleniosRF inherits from its simplicity.