8 citations · 22 across the 18 of their papers we have counts for
18 papers
Advances in STV Margin Computation
Michelle Blom, Alexander Ek, Peter J. Stuckey +2
Single transferable vote (STV) is a multi-winner preferential proportional electoral system. The margin is the smallest number of ballots that need to be manipulated to alter the s…
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.…
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…
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…
Efficient Lower Bounding of Single Transferable Vote Election Margins
Michelle Blom, Alexander Ek, Peter J. Stuckey +2
The single transferable vote (STV) is a system of preferential proportional voting employed in multi-seat elections. Each ballot cast by a voter is a (potentially partial) ranking…
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…
RLAs for 2-Seat STV Elections: Revisited
Michelle Blom, Peter J. Stuckey, Vanessa Teague +1
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 e…
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…
Ballot-Polling Audits of Instant-Runoff Voting Elections with a Dirichlet-Tree Model
Floyd Everest, Michelle Blom, Philip B. Stark +3
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…
Assessing the accuracy of the Australian Senate count: Key steps for a rigorous and transparent audit
Michelle Blom, Philip B. Stark, Peter J. Stuckey +2
This paper explains the main principles and some of the technical details for auditing the scanning and digitisation of the Australian Senate ballot papers. We give a short summary…
Auditing Ranked Voting Elections with Dirichlet-Tree Models: First Steps
Floyd Everest, Michelle Blom, Philip B. Stark +3
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 sc…
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…
Towards Verifiable Remote Voting with Paper Assurance
Eleanor McMurtry, Xavier Boyen, Chris Culnane +3
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 constru…
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…
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…
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…
RAIRE: Risk-Limiting Audits for IRV Elections
Michelle Blom, Peter J. Stuckey, Vanessa Teague
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…
Towards Computing Victory Margins in STV Elections
Michelle Blom, Peter J. Stuckey, Vanessa J. Teague
The Single Transferable Vote (STV) is a system of preferential voting employed in multi-seat elections. Each vote cast by a voter is a (potentially partial) ranking over a set of c…