Reference : Proving Prêt à Voter Receipt Free Using Computational Security Models
Scientific journals : Article
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/13064
Proving Prêt à Voter Receipt Free Using Computational Security Models
English
Khader, Dalia mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Ryan, Peter mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Tang, Qiang mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
13-Aug-2013
USENIX Journal of Election Technology and Systems
1
1
62-81
Yes
[en] Pret a Voter is a supervised, end-to-end verifiable voting scheme. Informal analyses indicate that, subject to certain assumptions, Pret a Voter is receipt free, i.e. a voter has no way to construct a proof to a coercer of how she voted. In this paper we propose a variant of Pret a Voter and prove receipt freeness of this scheme using computational methods. Our proof shows that if there exists an adversary that breaks receipt freeness of the scheme then there exists an adversary that breaks the IND-CCA2 security of the Naor-Yung encryption scheme.
We propose a security model that defines receipt freeness based on the indistinguishability of receipts. We show that in order to simulate the game we require an IND-CCA2 encryption scheme to create the ballots and receipts. We show that, within our model, a non-malleable onion is sufficient to guarantee receipt freeness.
Most of the existing Pret a Voter schemes do not employ IND-CCA2 encryption in the construction of the ballots, but they avoid such attacks by various additional mechanisms such as pre-commitment of ballot material to the bulletin board, digitally signed ballots etc. Our use of the Naor-Yung transformation provides the IND-CCA2 security required.
Researchers ; Students
http://hdl.handle.net/10993/13064
https://www.usenix.org/system/files/conference/evtwote13/jets-0101-khader.pdf

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
jets-0101-khader.pdfPublisher postprint515.7 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.