Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH scholarly article en de Marneffe, Olivier; Pereira, Olivier; Quisquater, Jean-Jacques License
when quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-12970

; ;

Simulation-based analysis of E2E voting systems



End-to-end auditable voting systems are expected to guarantee very interesting, and often sophisticated security properties, including correctness, privacy, fairness, receipt-freeness, dots However, for many well-known protocols, these properties have never been analyzed in a systematic way. In this paper, we investigate the use of techniques from the simulation-based security tradition for the analysis of these protocols, through a case-study on the ThreeBallot protocol. Our analysis shows that the ThreeBallot protocol fails to emulate some natural voting functionality, reflecting the lack of election fairness guarantee from this protocol. Guided by the reasons that make our security proof fail, we propose a simple variant of the ThreeBallot protocol and show that this variant emulates our functionality.

BibTeX - Entry

  author =	{Olivier de Marneffe and Olivier Pereira and Jean-Jacques Quisquater},
  title =	{Simulation-based analysis of E2E voting systems},
  booktitle =	{Frontiers of Electronic Voting},
  year =	{2008},
  editor =	{David Chaum and Miroslaw Kutylowski and Ronald L. Rivest  and Peter Y. A. Ryan },
  number =	{07311},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{},
  annote =	{Keywords: UC framework, simulatability, security proof, ThreeBallot}

Keywords: UC framework, simulatability, security proof, ThreeBallot
Seminar: 07311 - Frontiers of Electronic Voting
Issue date: 2008
Date of publication: 15.01.2008

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI