English
Related papers

Related papers: SOBA: Secrecy-preserving Observable Ballot-level A…

200 papers

A Condorcet cycle election is an election (often called a Social Welfare Function, or SWF) between three candidates, where each voter ranks the three candidates according to a fixed cyclic order. Maskin showed that if such a SWF obeys the…

Combinatorics · Mathematics 2025-11-05 Gabriel Gendler

Ranked voting systems, such as instant-runoff voting (IRV) and single transferable vote (STV), are used in many places around the world. They are more complex than plurality and scoring rules, presenting a challenge for auditing their…

We present three voting protocols with unconditional privacy and correctness, without assuming any bound on the number of corrupt participants. All protocols have polynomial complexity and require private channels and a simultaneous…

Cryptography and Security · Computer Science 2010-11-25 Anne Broadbent , Stacey Jeffery , Alain Tapp

Risk-limiting post election audits guarantee a high probability of correcting incorrect election results, independent of why the result was incorrect. Ballot-polling audits select ballots at random and interpret those ballots as evidence…

Data Structures and Algorithms · Computer Science 2019-10-30 Michelle Blom , Peter J. Stuckey , Vanessa Teague

Risk-limiting audits (RLAs) are a significant tool in increasing confidence in the accuracy of elections. They consist of randomized algorithms which check that an election's vote tally, as reported by a vote tabulation system, corresponds…

Computers and Society · Computer Science 2023-05-09 Bar Karov , Moni Naor

In legal decisions, split votes (SV) occur when judges cannot reach a unanimous decision, posing a difficulty for lawyers who must navigate diverse legal arguments and opinions. In high-stakes domains, understanding the alignment of…

Computation and Language · Computer Science 2024-06-07 Shanshan Xu , T. Y. S. S Santosh , Oana Ichim , Barbara Plank , Matthias Grabmair

Accurately determining the outcome of an election is a complex task with many potential sources of error, ranging from software glitches in voting machines to procedural lapses to outright fraud. Risk-limiting audits (RLA) are statistically…

Applications · Statistics 2021-11-16 Ian Waudby-Smith , Philip B. Stark , Aaditya Ramdas

A "repeat voting" procedure is proposed, whereby voting is carried out in two identical rounds. Every voter can vote in each round, the results of the first round are made public before the second round, and the final result is determined…

Theoretical Economics · Economics 2022-11-30 Sergiu Hart

In order to address issues with manual vote counting during election procedures, this study intends to examine the viability of using advanced image processing techniques for automated voter counting. The study aims to shed light on how…

Machine Learning · Computer Science 2025-03-18 Mir Faris , Syeda Aynul Karim , Md. Juniadul Islam

After the Estonian Parliamentary Elections held in 2011, an additional verification mechanism was integrated into the i-voting system in order to resist corrupted voting devices, including the so called Student's Attack where a student…

Cryptography and Security · Computer Science 2016-12-16 Koksal Mus , Mehmet Sabir Kiraz , Murat Cenk , Isa Sertkaya

This paper considers elections in which voters choose one candidate each, independently according to known probability distributions. A candidate receiving a strict majority (absolute or relative, depending on the version) wins. After the…

Data Structures and Algorithms · Computer Science 2024-01-22 Lisa Hellerstein , Naifeng Liu , Kevin Schewior

Risk-limiting audits (RLAs) offer a statistical guarantee: if a full manual tally of the paper ballots would show that the reported election outcome is wrong, an RLA has a known minimum chance of leading to a full manual tally. RLAs…

Applications · Statistics 2018-09-13 Kellie Ottoboni , Philip B. Stark , Mark Lindeman , Neal McBurnett

Earth vision research typically focuses on extracting geospatial object locations and categories but neglects the exploration of relations between objects and comprehensive reasoning. Based on city planning needs, we develop a multi-modal…

Computer Vision and Pattern Recognition · Computer Science 2023-12-20 Junjue Wang , Zhuo Zheng , Zihang Chen , Ailong Ma , Yanfei Zhong

A Risk-Limiting Audit (RLA) is a statistical election tabulation audit with a rigorous error guarantee. We present ballot polling RLA PROVIDENCE, an audit with the efficiency of MINERVA and flexibility of BRAVO. We prove that PROVIDENCE is…

Cryptography and Security · Computer Science 2022-10-18 Oliver Broadrick , Poorvi L. Vora , Filip Zagórski

Electronic voting systems have significant advantages in comparison with physical voting systems. One of the main challenges in e-voting systems is to secure the voting process: namely, to certify that the computed results are consistent…

Cryptography and Security · Computer Science 2025-05-21 Tamir Tassa , Lihi Dery , Arthur Zamarin

High voter turnout in elections and referendums is very desirable in order to ensure a robust democracy. Secure electronic voting is a vision for the future of elections and referendums. Such a system can counteract factors that hinder…

Cryptography and Security · Computer Science 2019-09-17 Maximilian Schiedermeier , Omar Hasan , Tobias Mayer , Lionel Brunie , Harald Kosch

Risk-limiting audits (RLAs) are post-election auditing procedures that rigorously guarantee a specified maximum probability that an incorrect electoral outcome will not be detected. Aside from ready access to physical ballots, known RLAs…

Cryptography and Security · Computer Science 2026-05-19 Benjamin Fuller , Abigail Harrison , Alexander Russell

The paper concerns the protection of the secrecy of ballots, so that the identity of the voters cannot be matched with their vote. To achieve this we use an entangled quantum state to represent the ballots. Each ballot includes the identity…

Quantum Physics · Physics 2007-05-23 Shahar Dolev , Itamar Pitowsky , Boaz Tamir

We conjecture that Borda count is the ranked choice voting method that best preserves the outcome of an election with randomly corrupted votes, among all fair voting methods with small influences satisfying the Condorcet Loser Criterion.…

Computer Science and Game Theory · Computer Science 2022-09-23 Steven Heilman

We study the control complexity of fallback voting. Like manipulation and bribery, electoral control describes ways of changing the outcome of an election; unlike manipulation or bribery attempts, control actions---such as…

Computer Science and Game Theory · Computer Science 2010-04-21 Gábor Erdélyi , Lena Piras , Jörg Rothe