https://www.belenios.org/
Belenios: Verifiable Online Voting System
online votingbeleniosverifiablesystem
https://load-ev.de/mitgliedschaft/wahlprotokoll-belenios/
Wahlprotokoll Belenios - LOAD e.V.
Apr 30, 2024 - Für die Durchführung von Vereinswahlen bei hybriden Veranstaltungen nutzt LOAD e.V. das elektronische Wahlprotokoll Belenios zusammen mit der dazugehörigen...
wahlprotokoll beleniosloadv
https://ieeexplore.ieee.org/document/8429313/
Machine-Checked Proofs for Electronic Voting: Privacy and Verifiability for Belenios | IEEE...
We present a machine-checked security analysis of Belenios - a deployed voting protocol used already in more than 200 elections. Belenios extends Helios with an
electronic votingmachinecheckedproofs