中文
相关论文

相关论文: SOBA: Secrecy-preserving Observable Ballot-level A…

200 篇论文

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…

组合数学 · 数学 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…

密码学与安全 · 计算机科学 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…

数据结构与算法 · 计算机科学 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…

计算机与社会 · 计算机科学 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…

计算与语言 · 计算机科学 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…

应用统计 · 统计学 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…

理论经济学 · 经济学 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…

机器学习 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

数据结构与算法 · 计算机科学 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…

应用统计 · 统计学 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…

计算机视觉与模式识别 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

量子物理 · 物理学 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.…

计算机科学与博弈论 · 计算机科学 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…

计算机科学与博弈论 · 计算机科学 2010-04-21 Gábor Erdélyi , Lena Piras , Jörg Rothe