Skip to Main content Skip to Navigation
Conference papers

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”.
Complete list of metadata

Cited literature [21 references]  Display  Hide  Download
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Monday, November 28, 2016 - 2:52:48 PM
Last modification on : Monday, November 28, 2016 - 2:59:36 PM
Long-term archiving on: : Tuesday, March 21, 2017 - 8:46:35 AM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



Dalia Khader. D–Shuffle for Prêt à Voter. 15th IFIP International Conference on Communications and Multimedia Security (CMS), Sep 2014, Aveiro, Portugal. pp.104-117, ⟨10.1007/978-3-662-44885-4_9⟩. ⟨hal-01404200⟩



Record views


Files downloads