Max-Planck-Institut für Informatik
max planck institut
mpii logo Minerva of the Max Planck Society

MPI-INF or MPI-SWS or Local Campus Event Calendar

<< Previous Entry Next Entry >> New Event Entry Edit this Entry Login to DB (to update, delete)
What and Who
Title:Proving Pret a Voter Receipt Free in the Computational Models
Speaker:Dr. Dalia Daoud Suleiman Khader
coming from:University of Luxembourg
Speakers Bio:
Event Type:SWS Colloquium, Post Doc Application Talk
Visibility:D1, D2, D3, D4, D5, SWS, RG1
We use this to send out email in the morning.
Level:Expert Audience
Date, Time and Location
Date:Friday, 28 March 2014
Duration:60 Minutes
Building:E1 5
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.
Name(s):Prof. Dr. Michal Backes
Phone:0681 302-3249
EMail:--email address not disclosed on the web
Video Broadcast
Video Broadcast:NoTo Location:
Tags, Category, Keywords and additional notes
Keywords:SWS Colloquium, Post Doc Application Talk, Prof. Dr. Michael Backes
Attachments, File(s):
  • Stephanie Feyahn, 03/24/2014 09:34 AM -- Created document.