A Formal Analysis of the Neuchatel e-Voting Protocol

  title={A Formal Analysis of the Neuchatel e-Voting Protocol},
  author={V{\'e}ronique Cortier and David Galindo and Mathieu Turuani},
  journal={2018 IEEE European Symposium on Security and Privacy (EuroS&P)},
Remote electronic voting is used in several countries for legally binding elections. Unlike academic voting protocols, these systems are not always documented and their security is rarely analysed rigorously. In this paper, we study a voting system that has been used for electing political representatives and in citizen-driven referenda in the Swiss canton of Neuchâtel. We design a detailed model of the protocol in ProVerif for both privacy and verifiability properties. Our analysis mostly… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.


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

Modeling and verifying security protocols with the applied pi calculus and ProVerif

  • B. Blanchet
  • Foundations and Trends in Privacy and Security, 1…
  • 2016
Highly Influential
4 Excerpts

Individual Verifiability: Swiss Post E-Voting Protocol Explained, November 2017. https://www.post.ch/-/media/post/evoting/ dokumente/swiss-post-online-voting-protocol-explained.pdf

  • Swiss Post
  • 2017
1 Excerpt

Similar Papers

Loading similar papers…