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

Pyrros Chaidos 1 Véronique Cortier 2 Georg Fuchsbauer 3, 4 David Galindo 5
2 PESTO - Proof techniques for security protocols
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
3 CASCADE - Construction and Analysis of Systems for Confidentiality and Authenticity of Data and Entities
DI-ENS - Département d'informatique de l'École normale supérieure, ENS Paris - École normale supérieure - Paris, CNRS - Centre National de la Recherche Scientifique : UMR 8548, Inria de Paris
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.
Type de document :
Communication dans un congrès
23rd ACM Conference on Computer and Communications Security (CCS'16), Oct 2016, Vienna, Austria. 2016, 〈10.1145/2976749.2978337〉
Liste complète des métadonnées

Littérature citée [45 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01377917
Contributeur : Véronique Cortier <>
Soumis le : vendredi 7 octobre 2016 - 20:56:10
Dernière modification le : jeudi 11 janvier 2018 - 06:28:02
Document(s) archivé(s) le : vendredi 3 février 2017 - 23:49:17

Fichier

ccs2016(2).pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Pyrros Chaidos, Véronique Cortier, Georg Fuchsbauer, David Galindo. BeleniosRF: A Non-interactive Receipt-Free Electronic Voting Scheme. 23rd ACM Conference on Computer and Communications Security (CCS'16), Oct 2016, Vienna, Austria. 2016, 〈10.1145/2976749.2978337〉. 〈hal-01377917〉

Partager

Métriques

Consultations de la notice

221

Téléchargements de fichiers

108