DROPS

Document

Simulation-based analysis of E2E voting systems

Authors: Olivier de Marneffe, Olivier Pereira, and Jean-Jacques Quisquater

Published in: Dagstuhl Seminar Proceedings, Volume 7311, Frontiers of Electronic Voting (2008)

Abstract

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.

Cite as

Olivier de Marneffe, Olivier Pereira, and Jean-Jacques Quisquater. Simulation-based analysis of E2E voting systems. In Frontiers of Electronic Voting. Dagstuhl Seminar Proceedings, Volume 7311, pp. 1-14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)

Copy BibTex To Clipboard

@InProceedings{demarneffe_et_al:DagSemProc.07311.8,
  author =	{de Marneffe, Olivier and Pereira, Olivier and Quisquater, Jean-Jacques},
  title =	{{Simulation-based analysis of E2E voting systems}},
  booktitle =	{Frontiers of Electronic Voting},
  pages =	{1--14},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{7311},
  editor =	{David Chaum and Miroslaw Kutylowski and Ronald L. Rivest and Peter Y. A. Ryan},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07311.8},
  URN =		{urn:nbn:de:0030-drops-12970},
  doi =		{10.4230/DagSemProc.07311.8},
  annote =	{Keywords: UC framework, simulatability, security proof, ThreeBallot}
}

Search Results

Documents authored by Quisquater, Jean-Jacques

Simulation-based analysis of E2E voting systems

Abstract

Cite as

Thanks for your feedback!

Could not send message