activity
20152021
most citedEnd-to-end verifiability

16 citations · 26 across the 5 of their papers we have counts for

collaborators

9 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.DS20191 cited

-Cut: A Simple Approximately-Uniform Method for Sampling Ballots in Post-Election Audits

Mayuri Sridhar, Ronald L. Rivest

We present an approximate sampling framework and discuss how risk-limiting audits can compensate for these approximations, while maintaining their "risk-limiting" properties. Our f…

stat.AP2018

Bernoulli Ballot Polling: A Manifest Improvement for Risk-Limiting Audits

Kellie Ottoboni, Matthew Bernhard, J. Alex Halderman +2

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 , independently.…

cs.DS2018

Consistent Sampling with Replacement

Ronald L. Rivest

We describe a very simple method for `consistent sampling' that allows for sampling with replacement. The method extends previous approaches to consistent sampling, which assign a…

cs.CR2018

Bayesian Tabulation Audits: Explained and Extended

Ronald L. Rivest

Tabulation audits for an election provide statistical evidence that a reported contest outcome is "correct" (meaning that the tabulation of votes was properly performed), or else t…

cs.CR2017

Public Evidence from Secret Ballots

Matthew Bernhard, Josh Benaloh, J. Alex Halderman +6

Elections seem simple---aren't they just counting? But they have a unique, challenging combination of security and privacy requirements. The stakes are high; the context is adversa…