Assertion-based approaches to auditing complex elections, with application to party-list proportional elections
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 …
increasingly common. They are a rigorous statistical means of ensuring that electoral results …
[PDF][PDF] Adaptively weighted audits of instant-runoff voting elections: Awaire
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 …
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
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 …
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 …
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
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 …
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
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 …
Verifiable Audits Using Limited Transparency technique (called VAULT) to conduct an …
Ballot-polling audits of instant-runoff voting elections with a Dirichlet-tree model
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 …
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 …
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
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 …
voting (IRV) elections. In principle AWAIRE can audit IRV contests with any number of …
Efficient Weighting Schemes for Auditing Instant-Runoff Voting Elections
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 …
(IRV) elections. A recent method, AWAIRE, is the first efficient approach that does not require …