D–Shuffle for Prêt à Voter

Abstract : Prêt à Voter is an end–to–end verifiable voting scheme, that uses paper based ballot forms that are turned into encrypted receipts. The scheme was designed to be flexible, secure and to offer voters a familiar and easy voting experience. Secrecy of the vote in Prêt à Voter relies on encoding the vote using a randomized candidate list in the ballots. In a few variants of Prêt à Voter a verifiable shuffle was used in the ballot generation phase in order to randomize the candidates. Verifiable shuffles are cryptographic primitives that re–encrypt and permute a list of ciphertexts. They provide proofs of correctness of the shuffle and preserve secrecy of the permutation. This paper proposes a new verifiable shuffle “D–Shuffle” that is efficient. We provide a security proof for the D–Shuffle. Furthermore, we show that using the D–shuffle for generating ballots in Prêt à Voter scheme ensures its security against: “Authority Knowledge Attack” and “Chain of Custody Attack”.
Type de document :
Communication dans un congrès
Bart Decker; André Zúquete. 15th IFIP International Conference on Communications and Multimedia Security (CMS), Sep 2014, Aveiro, Portugal. Springer, Lecture Notes in Computer Science, LNCS-8735, pp.104-117, 2014, Communications and Multimedia Security. 〈10.1007/978-3-662-44885-4_9〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01404200
Contributeur : Hal Ifip <>
Soumis le : lundi 28 novembre 2016 - 14:52:48
Dernière modification le : lundi 28 novembre 2016 - 14:59:36
Document(s) archivé(s) le : mardi 21 mars 2017 - 08:46:35

Fichier

978-3-662-44885-4_9_Chapter.pd...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Dalia Khader. D–Shuffle for Prêt à Voter. Bart Decker; André Zúquete. 15th IFIP International Conference on Communications and Multimedia Security (CMS), Sep 2014, Aveiro, Portugal. Springer, Lecture Notes in Computer Science, LNCS-8735, pp.104-117, 2014, Communications and Multimedia Security. 〈10.1007/978-3-662-44885-4_9〉. 〈hal-01404200〉

Partager

Métriques

Consultations de la notice

38

Téléchargements de fichiers

10