Assertion-based approaches to auditing complex elections, with application to party-list proportional elections

M Blom, J Budurushi, RL Rivest, PB Stark… - … Joint Conference on …, 2021 - Springer
Abstract Risk-limiting audits (RLAs), an ingredient in evidence-based elections, are
increasingly common. They are a rigorous statistical means of ensuring that electoral results …

[PDF][PDF] Adaptively weighted audits of instant-runoff voting elections: Awaire

A Ek, PB Stark, PJ Stuckey… - … Joint Conference on …, 2023 - library.oapen.org
An election audit is risk-limiting if the audit limits (to a pre-specified threshold) the chance
that an erroneous electoral outcome will be certified. Extant methods for auditing instant …

A first approach to risk-limiting audits for single transferable vote elections

M Blom, PJ Stuckey, V Teague, D Vukcevic - International Conference on …, 2022 - Springer
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 …

COBRA: Comparison-Optimal Betting for Risk-limiting Audits

JV Spertus - … Conference on Financial Cryptography and Data …, 2023 - Springer
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 …

Votes Can Be Confidently Bought in Instant Runoff Elections, and What to Do About It

J Williams, S Baltz, C Stewart III - Available at SSRN 4387782, 2023 - papers.ssrn.com
We show that in Instant Runoff Voting (IRV) elections it is often possible to violate the secret
ballot. There are so many ways to rank even a handful of candidates that most possible …

VAULT-style risk-limiting audits and the Inyo county pilot

J Benaloh, K Foote, PB Stark, V Teague… - IEEE Security & …, 2021 - ieeexplore.ieee.org
In 2020, Inyo County, California partnered with nonprofit VotingWorks to pilot the use of the
Verifiable Audits Using Limited Transparency technique (called VAULT) to conduct an …

Ballot-polling audits of instant-runoff voting elections with a Dirichlet-tree model

F Everest, M Blom, PB Stark, PJ Stuckey… - … on Research in …, 2022 - Springer
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 …

Election Security Is Harder Than You Think

M Bernhard - 2020 - deepblue.lib.umich.edu
Recent years have seen the rise of nation-state interference in elections across the globe,
making the ever-present need for more secure elections all the more dire. While certain …

[PDF][PDF] Improving the Computational Efficiency of Adaptive Audits of IRV Elections

A Ek, M Blom, PB Stark, PJ Stuckey… - … Joint Conference on …, 2024 - library.oapen.org
AWAIRE is one of two extant methods for conducting risklimiting audits of instant-runoff
voting (IRV) elections. In principle AWAIRE can audit IRV contests with any number of …

Efficient Weighting Schemes for Auditing Instant-Runoff Voting Elections

A Ek, PB Stark, PJ Stuckey, D Vukcevic - arXiv preprint arXiv:2403.15400, 2024 - arxiv.org
Various risk-limiting audit (RLA) methods have been developed for instant-runoff voting
(IRV) elections. A recent method, AWAIRE, is the first efficient approach that does not require …