A Survey of Current Secret-Ballot Systems David Chaum



Similar documents
THE M100 OPTICAL SCAN PRECINCT TABULATOR Idaho Procedures OVERVIEW

E-Democracy and e-voting

Testimony of Edward W. Felten Professor of Computer Science and Public Affairs, Princeton University

Voting Systems Checklist

Volume I, Section 4 Table of Contents

An Electronic Voting System Based On Blind Signature Protocol

PUBLIC REPORT. Red Team Testing of the ES&S Unity Voting System. Freeman Craft McGregor Group (FCMG) Red Team

Secure Electronic Voting

Introduction. Conducting a Security Review

California Association of Clerks and Elections Officials Canvass Subcommittee

AutoMARK Pre-election/ L&A/Post-test Procedures

Electronic Voting Protocol Analysis with the Inductive Method

Colorado Secretary of State Election Rules [8 CCR ]

SCORE An Overview. State of Colorado Registration and Election Management

Election Activity Watchers Colorado law & regulations

INTERIM REPORT ON VOTING EQUIPMENT PERFORMANCE, USAGE & CERTIFICATION

End-to-End Verifiability for Optical Scan Voting Systems. Emily Shen

Voting Systems Security, Testing & More

Verification and Validation Issues in Electronic Voting

Cryptography: Authentication, Blind Signatures, and Digital Cash

COMMONWEALTH OF PENNSYLVANIA DEPARTMENT OF STATE Harrisburg, PA BASIC GUIDE TO STUDENT VOTING IN PENNSYLVANIA

Position Statement on Electronic Voting

A New Receipt-Free E-Voting Scheme Based on Blind Signature (Abstract)

Analysis of Security Requirements for Cryptographic Voting Protocols (Extended Abstract)

Quality Assurance Program

Board of Elections and Ethics BBOE (DL0)

12543 Westella, Suite 100, Houston, Texas 77077, Recount Procedures

Secret-Ballot Receipts and Transparent Integrity

Electronic Voting Systems

Voting with confidence

Project E V E R E S T Evaluation and Validation of Election Related Equipment, Standards and Testing

United States Election Assistance Commission. Certificate of Conformance ES&S EVS

Internet voting feasibility study

Preparing to Open the Polls

Efficient construction of vote-tags to allow open objection to the tally in electronic elections

Online Voting Project. New Developments in the Voting System an Consequently Implemented Improvements in the Representation of Legal Principles.

SENATE BILL State of Washington 64th Legislature nd Special Session

2016 Presidential Election Calendar Maryland State Board of Elections 151 West Street - PO Box 6486 Annapolis, MD

The Voter Empowerment Act Section-By-Section

Ballot Now Audit Tool 1.0 Operations Manual

Online Voting for Better Government State IT Management Initiative

Guidance for candidates and agents

Prepared February 2008 by. Contact: Rebecca Wilson, Co-Director

South Dakota State Board of Elections ES&S Voting System (EVS) State Certification

VVPR Issues and STS Recommendations for the TGDC

Pre-Election Audit of Memory Cards for the August 2008 Connecticut Primary Elections

Table of Contents. Click on heading to navigate directly to that section. Introduction... 3

Election Operations Assessment

The legal admissibility of information stored on electronic document management systems

Speaker s Commission on Digital Democracy Consultation on Electronic Voting

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

Inductive Analysis of Security Protocols in Isabelle/HOL with Applications to Electronic Voting

Design Principles for Protection Mechanisms. Security Principles. Economy of Mechanism. Least Privilege. Complete Mediation. Economy of Mechanism (2)

Analysis of an Electronic Boardroom Voting System

What items constitute an event as it relates to the requirements of a voting system's audit logging?

Tradeoffs for Internet Voting Options

Cloud Infrastructure Security

TOWN OF LACOMBE PROVINCE OF ALBERTA BYLAW 358

2016 Election Calendar

State of Wisconsin\Government Accountability Board

Volume I, Appendix C Table of Contents

Election Dates Calendar

U.S. ELECTION ASSISTANCE COMMISSION MEDIA AND PUBLIC RELATIONS. October 2007 MANAGEMENT GUIDE.

NATIONAL TALLY CENTER (NTC) OPERATIONS PROCEDURES Presidential and Provincial Council Elections

Verifying a Secret-Ballot Election with Cryptography

Principles and guidelines for remote ballot marking systems

Security Control Standard

A methodology for secure software design

CALTECH MIT VOTING TECHNOLOGY PROJECT VOTING. What Is What Could Be

Article 7. ELECTION OF MEMBERS TO THE BOARD OF TRUSTEES

SALES AND USE TAX TECHNICAL BULLETINS SECTION 28 SECTION 28 - COMPUTERS - HARDWARE, SOFTWARE, SERVICES, AND MAINTENANCE

POLLING PLACE ELECTION PROCEDURES

Control Matters. Computer Auditing. (Relevant to ATE Paper 8 Auditing) David Chow, FCCA, FCPA, CPA (Practising)

Strategies for Developing a Document Imaging & Electronic Retention Program

Network Configuration Management

Translation Service Program

ELECTRONIC VOTING: AN OVERVIEW OF THE PROBLEM

Brown County Information Technology Aberdeen, SD. Request for Proposals For Document Management Solution. Proposals Deadline: Submit proposals to:

1CHAPTER. Information about Judges of Election and Polling Place Administrators JUDGES OF ELECTION. Appointment/Assignment.

CHAPTER 11 ELECTION DAY ISSUES

GUIDE TO THE SANTA CLARA COUNTY REGISTRAR OF VOTERS

Deliverable: 2.2 VoteCal System Functional Specifications

Computer Security. Draft Exam with Answers

Performance standards for Returning Officers in Great Britain

Data Normalization in Electronic Voting Systems: A County Perspective

ORANGE COUNTY ELECTION ACADEMY INTERESTED IN ELECTIONS? GET READY TO BE INSPIRED.

ADDITIONAL VOTING INFORMATION FOR DISABLED, SENIOR CITIZENS, AND/OR RESIDENTS OF A NURSING OR VETERANS' HOME

Administration. april

The passage of the Help America Vote Act provided us with these additional reforms:

The Design of Web Based Secure Internet Voting System for Corporate Election

DATA QUALITY STRATEGY

Ballot Casting Assurance

Picture Identification in the Polls: Questions and Answers

Summary of Results from California Testing of the ES&S Unity /AutoMARK Voting System

DEMOCRACY SUITE PERSONNEL DEPLOYMENT AND TRAINING REQUIREMENTS

NC General Statutes - Chapter 163 Article 14A 1

Volume I, Section 3 Hardware Table of Contents

A Secure and Efficient Voter-Controlled Anonymous Election Scheme

Draft for Discussion Quality Assurance and Configuration Management Requirements March 7, 2007

ILLINOIS DEPARTMENT OF CENTRAL MANAGEMENT SERVICES CLASS SPECIFICATION DATA PROCESSING OPERATIONS SERIES CLASS TITLE POSITION CODE EFFECTIVE

Transcription:

A Survey of Current Secret-Ballot Systems David Chaum WOTE

ANALYSIS Outline Models, Taxonomy of Tools, Key Technologies, Paradigms, Composition, etc SYSTEMS Mainstream US deployed (with comparison) New/proposed systems (partial, sketch) SUBORDINATE ASPECTS Interfaces, Privacy v. Integrity, Aggregation, Ballot Styles, Write-in, Standardization, etc.

Issues Considered Secrecy (focused on) Integrity (focused on) Robustness [omitted] Effectiveness (touched on) Non-restrictiveness (subordinate)

ANALYSIS

System Secrecy Model

Integrity & Secrecy Mechanisms Public proof of information Voter-proveable (before & during) Voter-proveable (after) Publicly On TV Physical shuffle of documents Multiparty computation (info or computational) Auditability (before & routine) Simple Open Source Device Public-Expert + Open-Group Verifiable Trusted devices (distributed) Unproveable Voter- (before & during) Monitoring Open Group (before/during) Verifiable Trusted devices (centralized) Closed Group Verifiable Unproveable Voter- (after) Voter Verifiable Auditability (exceptional) Open Group (after maybe) Verifiable Privacy Capable

Audit as a Tool Only for integrity limited use for privacy/secrecy [as shown in diagram] If after the fact harder to prove anything usually subject to manipulation/change could be disrupted often not invoked (even when useful) If reveals secret information, inappropriate!!!

Two kinds of unlinkability Voter to Vote Capture ( fools privacy ) Often easily achieved Not generally adequate Vote Capture to Ballot Image ( true unlinkability ) A few known ways to achieve Generally sufficient

System Secrecy Model

Unlinkability Technology

Voting Technology Paradigms Object into container Mechanical machine Electronic machines (so called DRE ) Electronic counting of objects (hybrid) Computers voting as agents [omitted] Electronic printing (& counting) (hybrids) [covered later] Code voting [omitted]

Object into Container Bring your own or it is given you Modify it or submit it as is One object per ballot or combinations

Mechanical Machine Verification of Secrecy and Integrity pretty straightforward! It s a beautiful thing

Electronic Machines Tamper-resistant box everyone must trust, except for: Logic and Accuracy tests (no joke!) Audit data stored and output Does not address secrecy [mentioned] Save all but order of votes Generates readable record (e.g. tape) Electronic memory

Electronic Counting of Objects Types of objects Punch Card Optical Scan Precinct v. Central counting Overvote rejection at precinct Smaller investment for central

Hybrid Composition Parallel (e.g., object and electronic machine) Secrecy vulnerabilities compounded Sufficient to break easiest May be even easier in combination Integrity improved If both required, must defeat both If one is audit, then only audit advantage Serial (e.g., in aggregation hierarchy) Both integrity vulnerabilities Both privacy vulnerabilities

VOTING SYSTEMS IN PRACTICE TODAY

Hierarchical Flows (general) Configuration/ballot flow downward At poll closing flow upward Tally Burst modem Media taken to collection point Phoned-in by poll worker Ballots for central counting Logs and ballots for potential audit

Aggregation Hierarchy Integrity

Comparison of Dominant US Schemes Feature System Unlinking Technology Integrity Technology Capture of Voter Intent Tally Speed Cost (Tally & Investment) Paper ballot Ballot Box!!!" Multiple Poll Workers!!!" Good!!"" Slow """" High Operation; Low Investment!""" Mechanical Voting Machines Mechanical Counter!!"" Multiple Poll Workers!!!" Good!!"" Instant per booth!!"" Both Very High """" Punch Card Ballot Box!!!" Central Electronic Counter!""" Not so Good """" Slow but Automated!""" Both Very Low!!!! Optical Scan Electronic Counter!""" Black Box; Paper Audit!!"" Not so Good; but no Overvote!""" Instant per Precinct!!!" Both Medium!!"" Direct Recording Electronic Electronic Counter!""" Black Box!""" Good and with feedback!!!! Instant per Booth!!!" Low Operation; High Investment!"""

Machine-Printed/Read Ballot Systems (hybrid) WebTools & VCB Vote sent in electronically by machine; voter puts audit ballot in box Rebecca Mercuri Voter can see but not touch; certified votes read from ballots, machine output preliminary only Ernie Hawkins Voter can see but not touch, audit goes into box, Belgian National Ballot scanned on way into box; voter can check on multiple machines

Schemes to be Presented Separately in this Session Touchscreen DRE Full-face DRE VoteHere TrueVote Karin s system

SUBORDINATE ASPECTS

Communication Between Voter and Machine Authentication of voter to machine Emphasized today, but not enough Assurance of accuracy of vote message Authentication of machine to voter Confirmation of receipt of vote message

Integrity v. Untraceability Priority differs by jurisdiction England & Arkansas, e.g., give priority to Integrity Traceability-enabled options Permissive enfranchisement: provisional voting and/or contested ballots Surgical implementation of court rulings on eligibility Forward Untraceability Cannot go back once data destroyed

Tally Information [Already Touched On] Abstain vote allowed in some countries (would help understand residual votes ) Straight-party voting (sometimes with crossover ) may or may not be distinguished Pinkas et al proposed techniques that hide counts and only reveal the winner

Ballot-Image Visibility DRE audit reveals ballot images Non-geographic and early-voting secrecy compromised Are ballot images known to auditors (and/or elected officials) and not made public?

Multiple Ballot Styles Mechanical Machine, Full-Face DRE & Punch Card Few ballot styles per precinct Ballot on Paper Medium number of styles per precinct DRE and Electronic-Printing using screens Potentially large number of styles

Aggregation Unlinkability Non-geographic voting requires it Early voting and vote anywhere Ballot on paper with central count Full unlinkable precinct aggregation Mechanical, DRE or Machine printing (with machine audit) Linkable at least to precinct

Ballot-style Security [Partly Covered earlier] Layout unbiased Rotations correct Swaps Disruption

Write-In Rules differ, e.g.: Only from approved list Not allowed Count only if could decide election Object in box, best with envelopes Sorting at scanning box Mechanical machines and some DRE use a paper ribbon Some DRE allow Type-In

Vote Selling and Influencing [already discussed] For attendance voting hard, but done Technical: pass-back, copying, etc. For remote voting easy Countermeasure: re-vote priority Stopping certain people from voting Can be harder for remote

Standardization & Certification County decisions need the best input they can get to guide choice Voting systems standards in US Called optional but mandatory Called performance but design

Conclusion Tamper-resistant boxes requiring universal trust and audit are the primary means of securing elections in this country today. The opportunity for and potential significance of new approaches to security, confidence, and enfranchisement are huge.