Election Verifiability in Electronic Voting Protocols

  title={Election Verifiability in Electronic Voting Protocols},
  author={Steve Kremer and Mark Ryan and Ben Smyth},
We present a formal, symbolic definition of election verifiability for electronic voting protocols in the context of the applied pi calculus. Our definition is given in terms of boolean tests which can be performed on the data produced by an election. The definition distinguishes three aspects of verifiability: individual, universal and eligibility verifiability. It also allows us to determine precisely which aspects of the system’s hardware and software must be trusted for the purpose of… CONTINUE READING
Highly Cited
This paper has 177 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.
113 Citations
21 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 113 extracted citations

177 Citations

Citations per Year
Semantic Scholar estimates that this publication has 177 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 21 references

Election verifiability in electronic voting protocols

  • S. Kremer, B. Smyth, M. D. Ryan
  • Technical Report CSR-10-06, University of…
  • 2010
2 Excerpts


  • B. Adida
  • de Marneffe, O. Pereira, and J.-J. Quisquater…
  • 2009
3 Excerpts

Binnenlandse Zaken en Koninkrijksrelaties (Netherland’s Ministry of the Interior and Kingdom Relations). Stemmen met potlood en papier (Voting with pencil and paper)

  • Ministerie van
  • Press release http://www.minbzk.nl/onderwerpen…
  • 2008
1 Excerpt

Similar Papers

Loading similar papers…