activity
20152026
most citedAuditing Hamiltonian Elections

8 citations · 40 across the 24 of their papers we have counts for

collaborators
Showing cs.CYShow all

12 papers · 1 filter

cs.CY2025

To whom did my vote go?

Andrew Conway, Michelle Blom, Alexander Ek +3

Single Transferable Vote (STV) counting, used in several jurisdictions in Australia, is a system for choosing multiple election winners given voters' preferences among candidates.…

cs.CY2025

3+ Seat Risk-Limiting Audits for Single Transferable Vote Elections

Michelle Blom, Alexander Ek, Peter J. Stuckey +2

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…

cs.CY2025

Doing More With Less: Mismatch-Based Risk-Limiting Audits

Alexander Ek, Michelle Blom, Philip B. Stark +3

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, s…

cs.CY2024

Idiosyncratic properties of Australian STV election counting

Andrew Conway, Michelle Blom, Alexander Ek +3

Single Transferable Vote (STV) counting, used in several jurisdictions in Australia, is a system for choosing multiple election winners given voters' preferences over candidates. T…

cs.CY2024★ 1 cited

Improving the Computational Efficiency of Adaptive Audits of IRV Elections

Alexander Ek, Michelle Blom, Philip B. Stark +2

AWAIRE is one of two extant methods for conducting risk-limiting audits of instant-runoff voting (IRV) elections. In principle AWAIRE can audit IRV contests with any number of cand…

cs.CY2024

Analysing Guarantees in Australian Senate Outcomes

Michelle Blom

Single Transferable Vote (STV) is used to elect candidates to the 76 seat Australian Senate across six states and two territories. These eight STV contests are counted using a comb…

cs.CY2023★ 1 cited

Risk-Limiting Audits for Condorcet Elections

Michelle Blom, Peter J. Stuckey, Vanessa Teague +1

Elections where electors rank the candidates (or a subset of the candidates) in order of preference allow the collection of more information about the electors' intent. The most wi…

cs.CY2021★ 3 cited

A First Approach to Risk-Limiting Audits for Single Transferable Vote Elections

Michelle Blom, Peter J. Stuckey, Vanessa Teague +1

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…

cs.CY2021

Assertion-Based Approaches to Auditing Complex Elections, with Application to Party-List Proportional Elections

Michelle Blom, Jurlind Budurushi, Ronald L. Rivest +4

Risk-limiting audits (RLAs), an ingredient in evidence-based elections, are increasingly common. They are a rigorous statistical means of ensuring that electoral results are correc…

cs.CY2021★ 8 cited

Auditing Hamiltonian Elections

Michelle Blom, Philip B. Stark, Peter J. Stuckey +2

Presidential primaries are a critical part of the United States Presidential electoral process, since they are used to select the candidates in the Presidential election. While met…

cs.CY2020

Random errors are not necessarily politically neutral

Michelle Blom, Andrew Conway, Peter J. Stuckey +2

Errors are inevitable in the implementation of any complex process. Here we examine the effect of random errors on Single Transferable Vote (STV) elections, a common approach to de…

cs.CY2020★ 1 cited

You can do RLAs for IRV

Michelle Blom, Andrew Conway, Dan King +4

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 Au…