Kryvos: Publicly tally-hiding verifiable e-voting

N Huber, R Küsters, T Krips, J Liedtke, J Müller… - Proceedings of the …, 2022 - dl.acm.org
Elections are an important corner stone of democratic processes. In addition to publishing
the final result (eg, the overall winner), elections typically publish the full tally consisting of all …

Sok: Secure e-voting with everlasting privacy

T Haines, J Mueller, R Mosaheb… - Privacy Enhancing …, 2023 - orbilu.uni.lu
Vote privacy is a fundamental right, which needs to be protected not only during an election,
or for a limited time afterwards, but for the foreseeable future. Numerous electronic voting (e …

Is the JCJ voting system really coercion-resistant?

V Cortier, P Gaudry, Q Yang - 2024 IEEE 37th Computer …, 2024 - ieeexplore.ieee.org
Coercion-resistance is a security property of electronic voting, often considered as a must-
have for high-stake elections. The JCJ voting scheme, proposed in 2005 by Juels, Catalano …

Reversing, Breaking, and Fixing the French Legislative Election {E-Voting} Protocol

A Debant, L Hirschi - … USENIX Security Symposium (USENIX Security 23 …, 2023 - usenix.org
We conduct a security analysis of the e-voting protocol used for the largest political election
using e-voting in the world, the 2022 French legislative election for the citizens overseas …

Linearly-Homomorphic Signatures for Short Randomizable Proofs of Subset Membership

D Pointcheval - Eighth International Joint Conference on Electronic …, 2023 - hal.science
Electronic voting is one of the most interesting application of modern cryptography, as it
involves many innovative tools (such as homomorphic public-key encryption, non-interactive …

Formal Verification and Solutions for Estonian E-Voting

S Baloglu, S Bursuc, S Mauw, J Pang - Proceedings of the 19th ACM …, 2024 - dl.acm.org
Estonia has been deploying electronic voting for its government elections since 2005. The
underlying e-voting system and protocol have been continuously improved, aiming to fix the …

DeVoS: Deniable Yet Verifiable Vote Updating

J Müller, B Pejó, I Pryvalov - Proceedings on Privacy Enhancing …, 2024 - petsymposium.org
Internet voting systems are supposed to meet the same high standards as traditional paper-
based systems when used in real political elections: freedom of choice, universal and equal …

ZK-SNARKs for Ballot Validity: A Feasibility Study

N Huber, R Küsters, J Liedtke, D Rausch - International Joint Conference …, 2024 - Springer
Electronic voting (e-voting) systems have become more prevalent in recent years, but
security concerns have also increased, especially regarding the privacy and verifiability of …

Scalable Mixnets from Two-Party Mercurial Signatures on Randomizable Ciphertexts

M Abe, M Nanri, M Ohkubo, OP Kempner… - Cryptology ePrint …, 2024 - eprint.iacr.org
A mixnet developed by Hébant et al.(PKC'20) employs certified ciphertexts that carry
homomorphic signatures from an authority, reducing the complexity of the shuffling proof …

Zero-Knowledge Proofs from Learning Parity with Noise: Optimization, Verification, and Application

T Haines, R Mosaheb, J Müller… - IEEE Computer Security …, 2025 - inria.hal.science
Zero-Knowledge Proofs (ZKPs) are cryptographic building blocks of many privacy-
preserving security protocols. An important research focus in this area is the development of …