中文
相关论文

相关论文: Auditing Indian Elections

200 篇论文

The Election Commission of India has introduced Voter Verified Paper Audit Trail since 2019. This mechanism has increased voter confidence at the time of casting the votes. However, physical verification of the VVPATs against the party…

计算机视觉与模式识别 · 计算机科学 2022-12-22 Prasath Murugesan , Shamshu Dharwez Saganvali

Risk-limiting audits (RLAs) are expected to strengthen the public confidence in the correctness of an election outcome. We hypothesize that this is not always the case, in part because for large margins between the winner and the runner-up,…

计算机与社会 · 计算机科学 2021-09-17 Asmita Dalela , Oksana Kulyk , Carsten Schürmann

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

Risk-limiting audits (RLAs) are rigorous statistical procedures meant to detect invalid election results. RLAs examine paper ballots cast during the election to statistically assess the possibility of a disagreement between the winner…

密码学与安全 · 计算机科学 2022-12-23 Benjamin Fuller , Abigail Harrison , Alexander Russell

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) guarantee a high probability of correcting incorrect reported outcomes before the outcomes are certified. The most efficient use ballot-level comparison, comparing the voting system's interpretation of individual…

密码学与安全 · 计算机科学 2023-09-01 Philip B. Stark

Risk-limiting audits (RLAs) are an increasingly important method for checking that the reported outcome of an election is, in fact, correct. Indeed, their use is increasingly being legislated. While effective methods for RLAs have been…

计算机与社会 · 计算机科学 2023-08-10 Michelle Blom , Peter J. Stuckey , Vanessa Teague , Damjan Vukcevic

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

U.S. elections rely heavily on computers such as voter registration databases, electronic pollbooks, voting machines, scanners, tabulators, and results reporting websites. These introduce digital threats to election outcomes. Risk-limiting…

密码学与安全 · 计算机科学 2020-12-08 Amanda K. Glazer , Jacob V. Spertus , Philip B. Stark

Risk-limiting audits (RLAs) are techniques for verifying the outcomes of large elections. While they provide rigorous guarantees of correctness, widespread adoption has been impeded by both efficiency concerns and the fact they offer…

密码学与安全 · 计算机科学 2024-06-19 Benjamin Fuller , Rashmi Pai , Alexander Russell

In the context of election security, a Risk-Limiting Audit (RLA) is a statistical framework that uses a minimal partial recount of the ballots to guarantee that the results of the election were correctly reported. A generalized RLA…

计算机科学与博弈论 · 计算机科学 2026-02-05 Edouard Heitzmann

Risk-limiting audits (RLAs) can provide routine, affirmative evidence that reported election outcomes are correct by checking a random sample of cast ballots. An efficient RLA requires checking relatively few ballots. Here we construct…

应用统计 · 统计学 2024-10-16 Jacob Spertus

A recent debate among election experts has considered whether electronic ballot marking devices (BMDs) have adequate security against the risks of malware. A malicious BMD might produce a printed ballot that disagrees with a voter's actual…

密码学与安全 · 计算机科学 2019-12-16 Dan S. Wallach

Risk-limiting audits (RLAs) can use information about which ballot cards contain which contests (card-style data, CSD) to ensure that each contest receives adequate scrutiny, without examining more cards than necessary. RLAs using CSD in…

应用统计 · 统计学 2023-09-19 Amanda K. Glazer , Jacob V. Spertus , Philip B. Stark

We propose VAMS, a system that enables transparency for audits of access to data requests without compromising the privacy of parties in the system. VAMS supports audits on an aggregate level and an individual level, by relying on three…

密码学与安全 · 计算机科学 2023-05-05 Alexander Hicks , Vasilios Mavroudis , Mustafa Al-Bassam , Sarah Meiklejohn , Steven J. Murdoch

Single Transferable Vote (STV) elections are a principled approach to electing multiple candidates in a single election. Each ballot has a starting value of 1, and a candidate is elected if they gather a total vote value more than a defined…

计算机科学与博弈论 · 计算机科学 2024-12-03 Michelle Blom , Peter J. Stuckey , Vanessa Teague , Damjan Vukcevic

We present a system for running auditable and verifiable elections in untrusted environments. Votes are anonymous since the order of candidates on a ballot sheet is random. Tellers see only the position of the candidate. Voters can check…

密码学与安全 · 计算机科学 2020-11-26 Kirill A. Korinsky

One approach to risk-limiting audits (RLAs) compares randomly selected cast vote records (CVRs) to votes read by human auditors from the corresponding ballot cards. Historically, such methods reduce audit sample sizes by considering how…

计算机与社会 · 计算机科学 2026-03-27 Alexander Ek , Michelle Blom , Philip B. Stark , Peter J. Stuckey , Vanessa J. Teague , Damjan Vukcevic

Constructing efficient risk-limiting audits (RLAs) for multiwinner single transferable vote (STV) elections is a challenging problem. An STV RLA is designed to statistically verify that the reported winners of an election did indeed win…

计算机与社会 · 计算机科学 2026-03-27 Michelle Blom , Alexander Ek , Peter J. Stuckey , Vanessa Teague , Damjan Vukcevic

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
‹ 上一页 1 2 3 10 下一页 ›