Accurately determining the outcome of an election is a complex task with many potential
sources of error, ranging from software glitches in voting machines to procedural lapses to …

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 …

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 …

Risk-limiting audits (RLAs) guarantee a high probability of correcting incorrect reported
electoral outcomes before the outcomes are certified. The most efficient are ballot-level …

Risk-limiting audits (RLAs) are the established techniques for verifying large elections. While
they provide rigorous guarantees of correctness, widespread adoption has been impeded …

Risk-limiting audits (RLAs) are rigorous statistical procedures meant to detect invalid
election results. RLAs examine paper ballots cast during the election to statistically assess …

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 …

Risk-limiting audits (RLAs) are a significant tool in increasing confidence in the accuracy of
elections. They consist of randomized algorithms which check that an election's vote tally, as …

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 …

This thesis contains some advances in the field of “anytime-valid sequential inference”, a
paradigm of statistical inference where confidence intervals, p-values, and hypothesis tests …