中文
相关论文

相关论文: Auditing Indian Elections

200 篇论文

We propose a protocol for verifiable remote voting with paper assurance. It is intended to augment existing postal voting procedures, allowing a ballot to be electronically constructed, printed on paper, then returned in the post. It allows…

密码学与安全 · 计算机科学 2021-11-10 Eleanor McMurtry , Xavier Boyen , Chris Culnane , Kristian Gjøsteen , Thomas Haines , Vanessa Teague

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…

Counting votes is complex and error-prone. Several statistical methods have been developed to assess election accuracy by manually inspecting randomly selected physical ballots. Two 'principled' methods are risk-limiting audits (RLAs) and…

应用统计 · 统计学 2021-05-13 Zhuoqun Huang , Ronald L. Rivest , Philip B. Stark , Vanessa Teague , Damjan Vukcevic

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

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 November 2014 Australian State of Victoria election was the first statutory political election worldwide at State level which deployed an end-to-end verifiable electronic voting system in polling places. This was the first time blind…

密码学与安全 · 计算机科学 2015-04-28 Craig Burton , Chris Culnane , Steve Schneider

For more than a century, election officials across the United States have inspected voting machines before elections using a procedure called Logic and Accuracy Testing (LAT). This procedure consists of election officials casting a test…

密码学与安全 · 计算机科学 2024-10-01 Braden L. Crimmins , J. Alex Halderman , Bradley Sturt

We present Phrase-Verified Voting, a voter-verifiable remote voting system assembled from commercial off-the-shelf software for small private elections. The system is transparent and enables each voter to verify that the tally includes…

密码学与安全 · 计算机科学 2021-03-15 Enka Blanchard , Ryan Robucci , Ted Selker , Alan Sherman

We present a method and software for ballot-polling risk-limiting audits (RLAs) based on Bernoulli sampling: ballots are included in the sample with probability $p$, independently. Bernoulli sampling has several advantages: (1) it does not…

Instant-runoff voting (IRV) is used in several countries around the world. It requires voters to rank candidates in order of preference, and uses a counting algorithm that is more complex than systems such as first-past-the-post or scoring…

SOBA is an approach to election verification that provides observers with justifiably high confidence that the reported results of an election are consistent with an audit trail ("ballots"), which can be paper or electronic. SOBA combines…

应用统计 · 统计学 2011-07-05 Josh Benaloh , Douglas Jones , Eric Lazarus , Mark Lindeman , Philip B. Stark

The City and County of San Francisco, CA, has used Instant Runoff Voting (IRV) for some elections since 2004. This report describes the first ever process pilot of Risk Limiting Audits for IRV, for the San Francisco District Attorney's race…

计算机与社会 · 计算机科学 2020-04-02 Michelle Blom , Andrew Conway , Dan King , Laurent Sandrolini , Philip B. Stark , Peter J. Stuckey , Vanessa Teague

Keeping track of how lawmakers vote is essential for government transparency. While many parliamentary voting records are available online, they are often difficult to interpret, making it challenging to understand legislative behavior…

社会与信息网络 · 计算机科学 2025-05-20 Zahi Mizrahi , Shai Berkovitz , Nimrod Talmon , Michael Fire

Current methods of voter identification, especially in India, are highly primitive and error-prone, depending on verification by (mostly) sight, by highly trusted election officials. This paper attempts to provide a trustless and…

密码学与安全 · 计算机科学 2022-12-14 Arunava Gantait , Rajit Goyal , Syed Sajid Husain Rizvi , Zaira Haram

While existing literature on electronic voting has extensively addressed verifiability of voting protocols, the vulnerability of electoral rolls in large public elections remains a critical concern. To ensure integrity of electoral rolls,…

密码学与安全 · 计算机科学 2024-06-25 Prashant Agrawal , Mahabir Prasad Jhanwar , Subodh Vishnu Sharma , Subhashis Banerjee

In this paper we address the problem of recovery from failures without re-running entire elections when elections fail to verify. We consider the setting of \emph{dual voting} protocols, where the cryptographic guarantees of end-to-end…

密码学与安全 · 计算机科学 2023-12-27 Prashant Agrawal , Kabir Tomer , Abhinav Nakarmi , Mahabir Prasad Jhanwar , Subodh Sharma , Subhashis Banerjee

Indian voters from Kashmir to Kanyakumari select their representatives to form their parliament by going to polls. India's election is one of the largest democratic exercise in the world history. About 850 million eligible voters determine…

计算机与社会 · 计算机科学 2020-02-27 Subhankar Mishra

Overseas military personnel often face significant challenges in participating in elections due to the slow pace of traditional mail systems, which can result in ballots missing crucial deadlines. While internet-based voting offers a faster…

密码学与安全 · 计算机科学 2025-03-27 Ben Adida , John Caron , Arash Mirzaei , Vanessa Teague

A trusted electronic election system requires that all the involved information must go public, that is, it focuses not only on transparency but also privacy issues. In other words, each ballot should be counted anonymously, correctly, and…

密码学与安全 · 计算机科学 2018-04-19 Wei-Jr Lai Ja-Ling Wu

Modern democracies face an existential crisis of waning public trust in election results. While End-to-End Verifiable (E2E-V) voting systems promise mathematically secure elections, their reliance on complex cryptography creates a ``black…

密码学与安全 · 计算机科学 2026-03-24 Alon Gat