Bits or paper: which should get to carry your vote?

J Willemson - Journal of information security and applications, 2018 - Elsevier
This paper reviews several dimensions in terms of which electronic/Internet and paper
voting can be compared (vote secrecy, verifiability, ballot box integrity, transparency and …

Public evidence from secret ballots

M Bernhard, J Benaloh, J Alex Halderman… - … Joint Conference, E …, 2017 - Springer
Elections seem simple—aren't they just about counting? But they have a unique,
challenging combination of security and privacy requirements. The stakes are high; the …

ALPHA: audit that learns from previously hand-audited ballots

PB Stark - The Annals of Applied Statistics, 2023 - projecteuclid.org
ALPHA: Audit that learns from previously hand-audited ballots Page 1 The Annals of Applied
Statistics 2023, Vol. 17, No. 1, 641–679 https://doi.org/10.1214/22-AOAS1646 © Institute of …

Assertion-based approaches to auditing complex elections, with application to party-list proportional elections

M Blom, J Budurushi, RL Rivest, PB Stark… - … Joint Conference on …, 2021 - Springer
Abstract Risk-limiting audits (RLAs), an ingredient in evidence-based elections, are
increasingly common. They are a rigorous statistical means of ensuring that electoral results …

RAIRE: Risk-limiting audits for IRV elections

M Blom, PJ Stuckey, V Teague - arXiv preprint arXiv:1903.08804, 2019 - arxiv.org
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 ballots at …

A first approach to risk-limiting audits for single transferable vote elections

M Blom, PJ Stuckey, V Teague, D Vukcevic - International Conference on …, 2022 - Springer
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 …

Bernoulli ballot polling: a manifest improvement for risk-limiting audits

K Ottoboni, M Bernhard, JA Halderman… - … Conference on Financial …, 2019 - Springer
We present a method and software for ballot-polling risk-limiting audits (RLAs) based on
Bernoulli sampling: ballots are included in the sample with probability p, independently …

Philip B. Stark's contribution to the Discussion of 'Estimating means of bounded random variables by betting'by Waudby-Smith and Ramdas

PB Stark - Journal of the Royal Statistical Society Series B …, 2024 - academic.oup.com
We derive confidence intervals (CIs) and confidence sequences (CSs) for the classical
problem of estimating a bounded mean. Our approach generalizes and improves on the …

An investigation into the usability of electronic voting systems for complex elections

J Budurushi, K Renaud, M Volkamer… - Annals of …, 2016 - Springer
Many studies on electronic voting evaluate their usability in the context of simple elections.
Complex elections, which take place in many European countries, also merit attention. The …

A unified evaluation of two-candidate ballot-polling election auditing methods

Z Huang, RL Rivest, PB Stark, VJ Teague… - Electronic Voting: 5th …, 2020 - Springer
Counting votes is complex and error-prone. Several statistical methods have been
developed to assess election accuracy by manually inspecting randomly selected physical …