Sok: Verifiability notions for e-voting protocols

V Cortier, D Galindo, R Küsters, J Müller… - … IEEE Symposium on …, 2016 - ieeexplore.ieee.org
There have been intensive research efforts in the last two decades or so to design and
deploy electronic voting (e-voting) protocols/systems which allow voters and/or external …

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 …

Selective comparison of verifiable online voting systems

T Finogina, J Cucurull Juan, N Costa - Security and Privacy, 2024 - Wiley Online Library
This paper aims to provide a guideline for identifying the most suitable online voting system
under the given requirements and acceptable tradeoffs. We have selected twelve (more or …

BeleniosRF: A non-interactive receipt-free electronic voting scheme

P Chaidos, V Cortier, G Fuchsbauer… - Proceedings of the 2016 …, 2016 - dl.acm.org
We propose a new voting scheme, BeleniosRF, that offers both receipt-freeness and end-to-
end verifiability. It is receipt-free in a strong sense, meaning that even dishonest voters …

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 …

Public evidence from secret ballots

M Bernhard, J Benaloh, J Alex Halderman… - … Joint Conference, E …, 2017 - Springer
Elections seem simple—aren't they just about counting? But they have a unique,
challenging combination of security and privacy requirements. The stakes are high; the …

Ordinos: A verifiable tally-hiding e-voting system

R Küsters, J Liedtke, J Müller… - 2020 IEEE European …, 2020 - ieeexplore.ieee.org
Modern electronic voting systems (e-voting systems) are designed to provide not only vote
privacy but also (end-to-end) verifiability. Several verifiable e-voting systems have been …

Investigating usability and user experience of individually verifiable internet voting schemes

K Marky, ML Zollinger, P Roenne, PYA Ryan… - ACM Transactions on …, 2021 - dl.acm.org
Internet voting can afford more inclusive and inexpensive elections. The flip side is that the
integrity of the election can be compromised by adversarial attacks and malfunctioning …

sElect: a lightweight verifiable remote voting system

R Küsters, J Müller, E Scapin… - 2016 IEEE 29th …, 2016 - ieeexplore.ieee.org
Modern remote electronic voting systems, such as the prominent Helios system, are
designed to provide vote privacy and verifiability, where, roughly speaking, the latter means …

On the security properties of e-voting bulletin boards

A Kiayias, A Kuldmaa, H Lipmaa, J Siim… - … Conference on Security …, 2018 - Springer
In state-of-the-art e-voting systems, a bulletin board (BB) is a critical component for
preserving election integrity and availability. We introduce a framework for the formal …