activity
20172021
collaborators

6 papers

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

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

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…

cs.DS2019

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…

cs.DS2017

Computing the Margin of Victory in Preferential Parliamentary Elections

Michelle Blom, Peter J. Stuckey, Vanessa Teague

We show how to use automated computation of election margins to assess the number of votes that would need to change in order to alter a parliamentary outcome for single-member pre…