5 papers
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…