Verifiable e-voting systems

How can the secrecy of the ballot be guaranteed in e-voting and how can it be ensured that the final result is correct? Questions of this nature are the focus of a series of projects involving Swiss Post, the Canton of Geneva and student organisations.


  • Lead department Engineering and information technology
  • Institute Research Institute for Security in the Information Society RISIS
  • Research unit E-Voting Group
  • Duration (planned) 01.01.2017 - 31.12.2020
  • Project management Prof. Dr. Eric Dubuis
  • Head of project Prof. Dr. Rolf Henni
  • Project staff Prof. Dr. Stephan Fischli
    Prof. Dr. Reto Koenig
    Prof. Dr. Philipp Locher
    Benjamin Fankhauser
    Timo Bürk
  • Partner Swiss Post AG
    Canton of Geneva
  • Keywords E-Voting, Verifiability, Anonymity, Mix-Net

Initial situation

E-voting systems are already being used for political decision-making in Switzerland. However, first-generation systems cannot guarantee the secrecy of the vote or the ballot without accompanying organisational measures, neither is it possible to verify the final result independently.


A number of sub-projects are pursuing different questions and seeking solutions. Questions include: how can a voter verify individually that their vote has been recorded unaltered by the e-voting system? How can a universal (or general) verification process be used by others, including uninvolved parties, to ensure that the final result is correct, that only valid votes are counted, that no valid votes have been subsequently changed, and that no unauthorised votes have been added?


Based on the latest insights from around the world, new procedures have been and are being presented at the relevant conferences. Verifiable e-voting systems are being developed to production-readiness with certain partners.


Various contributions and solutions have been developed. These include the formal specification of Geneva’s e-voting system, which is to be implemented in the course of 2019.