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 …

[PDF][PDF] Verifiability Experiences in Ontario's 2022 Online Elections

N Goodman, I Spycher-Krivonosova… - … Joint Conference on …, 2023 - library.oapen.org
Despite being one of the biggest international users of online voting with two decades of
use, Canada has tended to use non-verifiable online voting systems. This has prompted …

Election administrators' perceptions of verifiable online voting and its use in local elections

I Spycher-Krivonosova, N Goodman… - JeDEM-eJournal of …, 2024 - jedem.org
Canada is the longest user of online voting in municipal elections and has primarily used
non-verifiable systems, raising concerns about the integrity of election results and public and …

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 …

[PDF][PDF] A Study of Mechanisms for End-to-End Verifiable Online Voting

SM für Ende-zu, EV Onlinewahlen - 2024 - publ.sec.uni-stuttgart.de
Executive summary Introduction. In today's digital world, many elections are conducted
online. In such elections, however, there is a risk that voters' votes may be altered unnoticed …

Verifiable, Secure and Privacy-Preserving Computation

N Soroush - 2022 - orbilu.uni.lu
[en] In this thesis, I present the research I conducted with my co-authors on numerous areas
of verifiable, secure, and privacy-preserving computation during my doctoral studies at the …