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 metadatas

Cited literature [21 references]  Display  Hide  Download

https://hal.inria.fr/hal-01404200
Contributor : Hal Ifip <>
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

File

978-3-662-44885-4_9_Chapter.pd...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

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⟩

Share

Metrics

Record views

46

Files downloads

34