Belenios with cast as intended

V Cortier, A Debant, P Gaudry, S Glondu - International Conference on …, 2023 - Springer
We propose the BeleniosCaI protocol, a variant of Belenios which brings the cast-as-
inended property, in addition to other existing security properties. Our approach is based on …

CHVote: sixteen best practices and lessons learned

R Haenni, E Dubuis, RE Koenig, P Locher - Electronic Voting: 5th …, 2020 - Springer
The authors of this paper had the opportunity to closely accompany the CHVote project of
the State of Geneva during more than two years and to continue the project after its abrupt …

Provotumn: Decentralized, mix-net-based, and receipt-free voting system

C Killer, M Eck, B Rodrigues… - … on Blockchain and …, 2022 - ieeexplore.ieee.org
Recent years saw an increase in voting systems using public permissionless blockchains.
Although public blockchains offer transparency and immutability, permissioned consensus is …

Performance of shuffling: Taking it to the limits

R Haenni, P Locher - Financial Cryptography and Data Security: FC 2020 …, 2020 - Springer
In this paper, we propose further performance improvements for Wikström's shuffle proof.
Compared to an implementation based on general-purpose exponentiation algorithms, we …

[PDF][PDF] Mixnets in a distributed ledger remote electronic voting system

M Eck - Master Thesis, 2021 - capuana.ifi.uzh.ch
The integrity and fair execution of privacy-preserving votes and elections is a cornerstone of
modern democracy. Changes to the voting process are delicate and highly debated …

[PDF][PDF] Security analysis and improvements of a blockchain-based remote electronic voting system

A Hofmann - University of Zurich, 2020 - capuana.ifi.uzh.ch
Voting is one of the cornerstones of any democracy. With Electronic Voting (E-Voting), the
Swiss confederation wants to advance Switzerland's voting and electoral system to the …

CHVote protocol specification

R Haenni, RE Koenig, P Locher, E Dubuis - Cryptology ePrint Archive, 2017 - eprint.iacr.org
This document provides a self-contained, comprehensive, and fully-detailed specification of
a new cryptographic voting protocol designed for political elections in Switzerland. The …

Check for Belenios with Cast as Intended Véronique Cortier (), Alexandre Debant, Pierrick Gaudry, and Stéphane Glondu Université de Lorraine, CNRS, INRIA, LORIA …

V Cortier - Financial Cryptography and Data Security. FC 2023 …, 2023 - books.google.com
We propose the BeleniosCal protocol, a variant of Belenios which brings the cast-as-
inended property, in addition to other existing security properties. Our approach is based on …

[PDF][PDF] Privacy and verifiability in decentralized electronic voting systems

C Killer - 2023 - zora.uzh.ch
PrivacyandVerifiability inDecentralizedElectronicVotingSystems Page 1 Department of
Informatics PrivacyandVerifiability inDecentralizedElectronicVotingSystems Dissertation …

[PDF][PDF] Design and Implementation of Unconditional Everlasting Privacy in Blockchain-based Remote Electronic Voting

CS Müller - capuana.ifi.uzh.ch
The digitalization of democratic processes has attracted much attention in recent years. For
example, spreading and signing a petition via the internet is now easier than ever. Likewise …