Risk-Limiting Audits for Denmark and Mongolia

Similar documents
Leveraging Paper Ballots

Whose Votes (Were) Counted in the Election of 2016?

Colorado Secretary of State Election Rules [8 CCR ]

Risk-Limiting Audits

Brittle and Resilient Verifiable Voting Systems

Risk-limiting Audits in Colorado

Principles and Best Practices for Post-Election Tabulation Audits. Special 2018 MIT Election Audit Summit Preview Edition

Protocol to Check Correctness of Colorado s Risk-Limiting Tabulation Audit

DIRECTIVE November 20, All County Boards of Elections Directors, Deputy Directors, and Board Members. Post-Election Audits SUMMARY

Colorado s Risk-Limiting Audits (RLA) CO Risk-Limiting Audits -- Feb Neal McBurnett

Get Out The Audit (GOTA): Risk-limiting ballot-polling audits are practical now!

RANKED VOTING METHOD SAMPLE PLANNING CHECKLIST COLORADO SECRETARY OF STATE 1700 BROADWAY, SUITE 270 DENVER, COLORADO PHONE:

Ballot Reconciliation Procedure Guide

Sexy Audits and the Single Ballot

Post-Election Audit Pilots, and New Physical and Cyber Security Requirements in Indiana Election Code

L9. Electronic Voting

ARKANSAS SECRETARY OF STATE. Rules on Vote Centers

Key Considerations for Implementing Bodies and Oversight Actors

Draft rules issued for comment on July 20, Ballot cast should be when voter relinquishes control of a marked, sealed ballot.

Privacy Issues in an Electronic Voting Machine

LVWME Recommendations for Recount Procedures in Ranked Choice contests.

SECURITY, ACCURACY, AND RELIABILITY OF TARRANT COUNTY S VOTING SYSTEM

The name or number of the polling location; The number of ballots provided to or printed on-demand at the polling location;

Pennsylvania Needs Resilient, Evidence-Based Elections

June 4, Wisconsin Elections Commission 212 East Washington Avenue Madison, Wisconsin Dear Commissioners and Administrator Wolfe:

Orange County, CA Pilot Risk-Limiting Audit. December 7, 2018

ARKANSAS SECRETARY OF STATE

FAQ s Voting Method & Appropriateness to PICC Elections

COMMISSION CHECKLIST FOR NOVEMBER GENERAL ELECTIONS (Effective May 18, 2004; Revised July 15, 2015)

COURAGEOUS LEADERSHIP Instilling Voter Confidence in Election Infrastructure

FSASE Canvassing Board Workshop. Conducting Recounts. Presented by: Susan Gill, SOE Citrus County

Key Considerations for Oversight Actors

If further discussion would be of value, we stand by ready and eager to meet with your team at your convenience. Sincerely yours,

Colorado Secretary of State Election Rules [8 CCR ]

Every electronic device used in elections operates and interacts

Trusted Logic Voting Systems with OASIS EML 4.0 (Election Markup Language)

Statement on Security & Auditability

Applying Visual Management Techniques and Digital Analysis to Post Election Auditing

Experiences as an e-counting election observer in the UK

OSCE Parliamentary Assembly Post-Election Statement U.S. General Elections 6 November 2008

BURNABY AUTOMATED VOTE COUNTING SYSTEM BYLAW AMENDMENTS

Arthur M. Keller, Ph.D. David Mertz, Ph.D.

Home visit pilot program

The Use of New Voting Technologies (NVT)

Volume I Appendix A. Table of Contents

REQUESTING A RECOUNT 2018

This page intentionally left blank

GAO. Statement before the Task Force on Florida-13, Committee on House Administration, House of Representatives

2010 Pre-election Logic and Accuracy & Post-election Audit Grant Program

How do I know my vote is safe?

Global Conditions (applies to all components):

Direct Recording Electronic Voting Machines

An Overview on Cryptographic Voting Systems

Introduction of Electronic Voting In Namibia

Audits: an in-depth review of Venezuela s automatic voting

The documents listed below were utilized in the development of this Test Report:

Act means the Municipal Elections Act, 1996, c. 32 as amended;

Preserving Anonymity of Cast Vote Record

VOTERGA SAFE COMMISSION RECOMMENDATIONS

WHY, WHEN AND HOW SHOULD THE PAPER RECORD MANDATED BY THE HELP AMERICA VOTE ACT OF 2002 BE USED?

Maryland State Board of Elections Comprehensive Audit Guidelines Revised: February 2018

A paramount concern in elections is how to regularly ensure that the vote count is accurate.

1S Recount Procedures. (1) Definitions. As used in this rule, the term: (a) Ballot text image means an electronic text record of the content of

Registrar of Voters Certification. Audit ( 9 320f)

GAO ELECTIONS. States, Territories, and the District Are Taking a Range of Important Steps to Manage Their Varied Voting System Environments

Arizona 2. DRAFT Verified Voting Foundation March 12, 2007 Page 1 of 9

ELECTION VALIDATION PROJECT Increasing Trust in Elections Through Audits, Standards, and Testing

Evidence-based elections: Beyond the rigging debate IN DETAIL

Supporting Electronic Voting Research

Municipality of Chatham-Kent. Legislative Services. Municipal Governance

TO: Chair and Members REPORT NO. CS Committee of the Whole Operations & Administration

Laura Matjošaitytė Vice chairman of the Commission THE CENTRAL ELECTORAL COMMISSION OF THE REPUBLIC OF LITHUANIA

14 Managing Split Precincts

Additional Case study UK electoral system

General Framework of Electronic Voting and Implementation thereof at National Elections in Estonia

Electronic Voting Machine Information Sheet

Absent Voter Counting Board Training. Joseph Rozell, Oakland County Director of Elections

HOUSE BILL 1060 A BILL ENTITLED. Election Law Delay in Replacement of Voting Systems

AP Gov Chapter 09 Outline

Cryptographic Voting Protocols: Taking Elections out of the Black Box

REPUBLIC OF KAZAKHSTAN REVIEW OF THE PRESIDENTIAL DECREE FOR PILOT LOCAL ELECTIONS

2017 Risk-limiting Audit

MUNICIPAL ELECTIONS 2014 Voting Day Procedures & Procedures for the Use of Vote Tabulators

Super-Simple Simultaneous Single-Ballot Risk-Limiting Audits

Voting and Elections

WISC Voter Suppression Presentation

Office for Democratic Institutions and Human Rights OSCE/ODIHR DISCUSSION PAPER IN PREPARATION OF GUIDELINES FOR THE OBSERVATION OF ELECTRONIC VOTING

June 16, 2020 Primary Election Calendar of Important Dates and Deadlines

Risk-Limiting Post-Election Audits: Statistics, Policy, and Politics

Elections & Electronic Voting Machines

Life in the. Fast Lane PREPARED BY ELECTION SYSTEMS & SOFTWARE ELECTION SYSTEMS & SOFTWARE

Electronic Voting in Belgium Past, Today and Future

Union Elections. Online Voting. for Credit. Helping increase voter turnout & provide accessible, efficient and secure election processes.

Voting Methods for Municipal Elections: Propaganda, Field Experiments and what USA voters want from an Election Algorithm

County Clerk s Office Election Division Voting System

LOS ANGELES COUNTY Registrar-Recorder/County Clerk MEDIA KIT LAVote.net Nov.6,2018 General Election

Voting System Examination Election Systems & Software (ES&S)

2019 Election Calendar

2019 Election Calendar

THE NEW MEXICO 2006 POST ELECTION AUDIT REPORT

Transcription:

Risk-Limiting Audits for Denmark and Mongolia Philip B. Stark Department of Statistics University of California, Berkeley IT University of Copenhagen Copenhagen, Denmark 24 May 2014

Joint work with Carsten Schürmann and Vanessa Teague

All vote counting methods can make mistakes Internationally, most concerns are with electronic vote tabulation, but hand counting errs, too. Denmark counts votes by hand, twice (or more). Mongolia uses Dominion imaging PCOS system Can we save effort and assure accuracy by auditing? What roles could audits play in Danish and Mongolian elections?

Two questions As shipped from the manufacturer, on a laboratory bench, can the equipment count votes on perfectly (machine-marked) ballots to a pre-specified level of accuracy? As maintained, deployed, etc., on election day, did the equipment count the actual voter-marked ballots accurately enough to determine who really won?

What do we want an audit to do? Quality control in general. Ensure that the electoral outcome is correct; If outcome is wrong, correct it before it s official. Outcome means the set of winners, not exact counts.

How can an audit correct a wrong outcome? If there s an adequately accurate audit trail, the audit could count all the votes by hand (again). Want to correct the outcome if it is wrong, but to do as little counting as possible when the outcome is right. Use statistical techniques to decide whether you have checked enough. Intelligent incremental recount: stop when there s strong evidence that there is no point continuing.

Why not just count all votes by hand (repeatedly)? Unnecessarily expensive and slow; accuracy decreases with fatigue. Instead, make a first count, then check a random sample. Keep checking until there s convincing evidence that the outcome is right or until all ballots have been hand counted. Fatigue, staff quality, etc., may make a full hand count less accurate than a focused audit of a small random sample. An audit of hundreds or thousands of ballots can be more transparent than a full count: Public could actually observe the whole process.

Risk-Limiting Audits Endorsed by: U.S. Presidential Commission on Election Administration, American Statistical Association, Common Cause, Verified Voting Foundation, Citizens for Election Integrity Minnesota, et al. Mandated in law in California (AB2023, SB360) and Colorado Piloted in California, Colorado, Ohio Piloting in Denmark this week for EU Parliamentary Election! Rely on manual inspection of a random sample of ballots Audit stops when there s strong evidence that the outcome is correct Big chance of correcting wrong outcomes Use statistical methods to keep the workload low when outcome is right

Stirring is key to reducing work Don t have to climb into the bathtub to tell if it s hot: can just stick your toe in if the water is stirred well. Don t have to drink a whole pot of soup to tell if it s too salty: a teaspoon is enough if the pot has been stirred. (Doesn t matter whether the pot holds 0.5l or 100l.)

Requirements Requires sound procedures for protecting, tracking, and accounting for ballots. Denmark is far better than the USA in ballot accounting. I don t yet know how Mongolia accounts for ballots. New requirement: ballot manifests. Calculations are simple; web tools are available. Public ritual (including dice rolling) adds transparency and trust

Denmark s elections are amenable to RLAs Features that make auditing easier: Paper ballots with excellent ballot accounting Ballots have 1 [valid] vote for at most 1 party or candidate Ballots are routinely sorted by party and candidate Bundles of ballots are small ( 100 ballots) But, rules for compensatory round quite complicated.

Mongolia s elections are amenable to RLAs Features that make auditing easier: Paper ballots with unique barcodes Dominion equipment captures image; CVR can be matched to paper ballot Relatively simple ballots (compared with California, for instance) Would need to investigate ballot accounting and creating ballot manifests

Questions/concerns about Mongolia s election administration Ballots have unique barcodes makes ballot accounting and auditing easier requires special care to ensure voter identity cannot be linked to ballot, breaking voter anonymity mitigation: shuffle blank ballots; shroud barcode from poll workers Central tabulator and individual machines not airgapped modem (and Internet?) connected makes reporting results very fast open to hacking, spoofing, denial-of-service attacks mitigation: use second channel to confirm data transmission; rigorous ballot accounting and risk-limiting audits What are the procedures & security measures for curating memory cards and ballots? Need seals, seal protocols, rigorously logged & audited chain of custody, etc.

Miscellaneous notes about Mongolia s elections approximately 1.8 million voters; 68% turnout in last election approximately 2000 Dominion PCOS machines that capture ballot images some of the software developed in Mongolia ballots and memory cards from each election retained until next election next election: mid-june 2016

More reading: http://arstechnica.com/tech-policy/2012/07/ saving-american-elections-with-10-sided-dice-one-stats-profs-quest/ http://www.huffingtonpost.com/american-statistical-association/ leave-election-integrity-_b_3580649.html Stark, P.B., and D.A. Wagner, 2012. IEEE Computing Now, 10, 33 41. http://ieeexplore.ieee.org/stamp/stamp.jsp?tp= &arnumber=6203498 preprint: http://www.stat.berkeley.edu/~stark/preprints/ evidencevote12.pdf Lindeman, M. and P.B. Stark, 2012. A Gentle Introduction to Risk-Limiting Audits. IEEE Computing Now, 10, 42 49. http://ieeexplore.ieee.org/stamp/stamp.jsp?tp= &arnumber=6175884&tag=1 preprint: http: //www.stat.berkeley.edu/~stark/preprints/gentle12.pdf