On a Study of Mechanisms for End-to-End Verifiable Online Voting (StuVe)

On a Study of Mechanisms for End-to-End Verifiable Online Voting (StuVe). Véronique Cortier, Alexandre Debant, Ralf Kuesters, Florian Moser, Johannes Mueller, and Melanie Volkamer. In EVote-ID 2025 - 10th International Joint Conference on Electronic Voting, Springer, Nancy, France, 2025.

Download

[PDF]

Abstract

The German Federal Office for Information Security published a study on end-to-end verifiable online voting mechanisms. We aim to make this study more visible to the E-Vote-ID community (which includes academia, regulatory bodies and vendors). The study describes the core idea of the selected mechanisms and evaluates them using an interdisciplinary approach that considers secrecy, end-to-end verifiability, usability, and practicality. We find that the selection of mechanisms represents the state of the art in internet voting systems well, and that the evaluation clearly showcases the fundamental properties of each mechanism. However, we note that the evaluations are conducted on a per-mechanism basis, whereas real-world systems are composed of multiple.

BibTeX

@inproceedings{BSI-study-EVoteID25,
  TITLE = {{On a Study of Mechanisms for End-to-End Verifiable Online Voting (StuVe)}},
  AUTHOR = {V\'eronique Cortier and Alexandre Debant and Ralf Kuesters and Florian Moser and Johannes Mueller and Melanie Volkamer},
  BOOKTITLE = {{EVote-ID 2025 - 10th International Joint Conference on Electronic Voting}},
  ADDRESS = {Nancy, France},
  PUBLISHER = {{Springer}},
  YEAR = {2025},
  abstract = {The German Federal Office for Information Security published a study on end-to-end
verifiable online voting mechanisms. We aim to make this study more visible to the E-Vote-ID
community (which includes academia, regulatory bodies and vendors). The study describes the core
idea of the selected mechanisms and evaluates them using an interdisciplinary approach that considers
secrecy, end-to-end verifiability, usability, and practicality. We find that the selection of mechanisms
represents the state of the art in internet voting systems well, and that the evaluation clearly showcases
the fundamental properties of each mechanism. However, we note that the evaluations are conducted
on a per-mechanism basis, whereas real-world systems are composed of multiple.},
}