Top Banner
17-803/17-400 ELECTRONIC VOTING FALL 2004 COPYRIGHT © 2004 MICHAEL I. SHAMOS 17-803/17-400 Electronic Voting Session 3: Punched-Card Systems Michael I. Shamos, Ph.D., J.D. Institute for Software Research International Carnegie Mellon University
33

17-803/17-400 ELECTRONIC VOTING FALL 2004 COPYRIGHT © 2004 MICHAEL I. SHAMOS 17-803/17-400 Electronic Voting Session 3: Punched-Card Systems Michael I.

Mar 29, 2015

Download

Documents

Stuart Lynam
Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Page 1: 17-803/17-400 ELECTRONIC VOTING FALL 2004 COPYRIGHT © 2004 MICHAEL I. SHAMOS 17-803/17-400 Electronic Voting Session 3: Punched-Card Systems Michael I.

17-803/17-400 ELECTRONIC VOTING FALL 2004

COPYRIGHT © 2004 MICHAEL I. SHAMOS

17-803/17-400 Electronic Voting

Session 3: Punched-Card Systems

Michael I. Shamos, Ph.D., J.D.Institute for Software Research International

Carnegie Mellon University

Page 2: 17-803/17-400 ELECTRONIC VOTING FALL 2004 COPYRIGHT © 2004 MICHAEL I. SHAMOS 17-803/17-400 Electronic Voting Session 3: Punched-Card Systems Michael I.

17-803/17-400 ELECTRONIC VOTING FALL 2004

COPYRIGHT © 2004 MICHAEL I. SHAMOS

Student Projects

• Internet voting review• Verifiability without paper• Voter privacy assessment• Code hiding

– Can code be hidden undetectably?

• Alternative voting systems– ATM, lottery

• Secure software distribution– Assure that software inside voting machines is genuine

• Voting security standards– What should they look like?

Page 3: 17-803/17-400 ELECTRONIC VOTING FALL 2004 COPYRIGHT © 2004 MICHAEL I. SHAMOS 17-803/17-400 Electronic Voting Session 3: Punched-Card Systems Michael I.

17-803/17-400 ELECTRONIC VOTING FALL 2004

COPYRIGHT © 2004 MICHAEL I. SHAMOS

Qualification/Certification

• The Federal Election Commission (FEC) published voluntary standards for voting systems

• Many states have made the standards mandatory• How to test against them?• The National Association of State Election Directors

(NASED) has authorized a small number of Independent testing authorities to qualify voting systems

• After qualification, most states have a certification process to verify that the system satisfies state law

Page 4: 17-803/17-400 ELECTRONIC VOTING FALL 2004 COPYRIGHT © 2004 MICHAEL I. SHAMOS 17-803/17-400 Electronic Voting Session 3: Punched-Card Systems Michael I.

17-803/17-400 ELECTRONIC VOTING FALL 2004

COPYRIGHT © 2004 MICHAEL I. SHAMOS

Qualification/Certification Problems

• The FEC standards are inadequate for software security

• The ITAs operate in secret– Don’t publish their testing protocols– Don’t publish their findings, just whether a system passed

• The ITAs are paid by the vendors• State certifications are cursory, usually not performed

by experts

Page 5: 17-803/17-400 ELECTRONIC VOTING FALL 2004 COPYRIGHT © 2004 MICHAEL I. SHAMOS 17-803/17-400 Electronic Voting Session 3: Punched-Card Systems Michael I.

17-803/17-400 ELECTRONIC VOTING FALL 2004

COPYRIGHT © 2004 MICHAEL I. SHAMOS

Help America Vote Act of 2002

• Payments to states to replace paper and level machines: $3 billion

• Establishes Election Assistance Commission• Reforms the standards process (National Institute of

Standards and Technology)• Provisional voting• Statewide registration systems• Complaint procedure

Page 6: 17-803/17-400 ELECTRONIC VOTING FALL 2004 COPYRIGHT © 2004 MICHAEL I. SHAMOS 17-803/17-400 Electronic Voting Session 3: Punched-Card Systems Michael I.

Punch Card Voting• Will be used by about 14% of the U.S. in 2004• Will be used in 69 of 88 counties in Ohio (PA only

has 67 counties)• Began in the 1960s with the IBM Porta-Punch• By 2000 was used in 37% of the U.S., until Florida

Page 7: 17-803/17-400 ELECTRONIC VOTING FALL 2004 COPYRIGHT © 2004 MICHAEL I. SHAMOS 17-803/17-400 Electronic Voting Session 3: Punched-Card Systems Michael I.

17-803/17-400 ELECTRONIC VOTING FALL 2004

COPYRIGHT © 2004 MICHAEL I. SHAMOS

Votomatic Punched-Card System

SOURCE: DOUG JONES

312

228

Page 8: 17-803/17-400 ELECTRONIC VOTING FALL 2004 COPYRIGHT © 2004 MICHAEL I. SHAMOS 17-803/17-400 Electronic Voting Session 3: Punched-Card Systems Michael I.

Votomatic Punched-Card System

Page 9: 17-803/17-400 ELECTRONIC VOTING FALL 2004 COPYRIGHT © 2004 MICHAEL I. SHAMOS 17-803/17-400 Electronic Voting Session 3: Punched-Card Systems Michael I.

17-803/17-400 ELECTRONIC VOTING FALL 2004

COPYRIGHT © 2004 MICHAEL I. SHAMOS

Votomatic Punch-Card System

VOTING BOOTH

BALLOT FRAME

VOTINGSTYLUS

BALLOTSEALS

VOTING SETUP

Page 10: 17-803/17-400 ELECTRONIC VOTING FALL 2004 COPYRIGHT © 2004 MICHAEL I. SHAMOS 17-803/17-400 Electronic Voting Session 3: Punched-Card Systems Michael I.

17-803/17-400 ELECTRONIC VOTING FALL 2004

COPYRIGHT © 2004 MICHAEL I. SHAMOS

Punched Card (14%)

CHAD

POSITIONS 4, 20, 60, 82, 117 ARE PUNCHED

NO CANDIDATE NAMES ON CARD

STUB FORWRITE-INS

REGISTRATIONHOLES

HOLES NOT ALWAYS RECTANGULAR

Page 11: 17-803/17-400 ELECTRONIC VOTING FALL 2004 COPYRIGHT © 2004 MICHAEL I. SHAMOS 17-803/17-400 Electronic Voting Session 3: Punched-Card Systems Michael I.

17-803/17-400 ELECTRONIC VOTING FALL 2004

COPYRIGHT © 2004 MICHAEL I. SHAMOS

Punched Card (14%)

SOURCE: MICHIGAN SOS

Page 12: 17-803/17-400 ELECTRONIC VOTING FALL 2004 COPYRIGHT © 2004 MICHAEL I. SHAMOS 17-803/17-400 Electronic Voting Session 3: Punched-Card Systems Michael I.

17-803/17-400 ELECTRONIC VOTING FALL 2004

COPYRIGHT © 2004 MICHAEL I. SHAMOS

Votomatic Punched-Card System

SOURCE: NEW YORK TIMES

Page 13: 17-803/17-400 ELECTRONIC VOTING FALL 2004 COPYRIGHT © 2004 MICHAEL I. SHAMOS 17-803/17-400 Electronic Voting Session 3: Punched-Card Systems Michael I.

17-803/17-400 ELECTRONIC VOTING FALL 2004

COPYRIGHT © 2004 MICHAEL I. SHAMOS

Issues

• Cards• Human Factors• Card Handling• Readers• Ballot Definition• Recounts

– What constitutes a vote?

Page 14: 17-803/17-400 ELECTRONIC VOTING FALL 2004 COPYRIGHT © 2004 MICHAEL I. SHAMOS 17-803/17-400 Electronic Voting Session 3: Punched-Card Systems Michael I.

17-803/17-400 ELECTRONIC VOTING FALL 2004

COPYRIGHT © 2004 MICHAEL I. SHAMOS

Card Manufacture

• Card stock– Humidity

• Prescored cards– Dies: depth, location of scoring

Page 15: 17-803/17-400 ELECTRONIC VOTING FALL 2004 COPYRIGHT © 2004 MICHAEL I. SHAMOS 17-803/17-400 Electronic Voting Session 3: Punched-Card Systems Michael I.

17-803/17-400 ELECTRONIC VOTING FALL 2004

COPYRIGHT © 2004 MICHAEL I. SHAMOS

Ballot Frames

• Card registration• Stylus• Punch pressure

SOURCE: PETER SHEERIN

Page 16: 17-803/17-400 ELECTRONIC VOTING FALL 2004 COPYRIGHT © 2004 MICHAEL I. SHAMOS 17-803/17-400 Electronic Voting Session 3: Punched-Card Systems Michael I.

17-803/17-400 ELECTRONIC VOTING FALL 2004

COPYRIGHT © 2004 MICHAEL I. SHAMOS

Ballot Frames

• Rubber backing• Chad jams

SOURCE: PETER SHEERIN

Page 17: 17-803/17-400 ELECTRONIC VOTING FALL 2004 COPYRIGHT © 2004 MICHAEL I. SHAMOS 17-803/17-400 Electronic Voting Session 3: Punched-Card Systems Michael I.

17-803/17-400 ELECTRONIC VOTING FALL 2004

COPYRIGHT © 2004 MICHAEL I. SHAMOS

Chads

SOURCE: PETER SHEERIN

Page 18: 17-803/17-400 ELECTRONIC VOTING FALL 2004 COPYRIGHT © 2004 MICHAEL I. SHAMOS 17-803/17-400 Electronic Voting Session 3: Punched-Card Systems Michael I.

17-803/17-400 ELECTRONIC VOTING FALL 2004

COPYRIGHT © 2004 MICHAEL I. SHAMOS

Hanging Chad

SOURCE: NEW YORK TIMES

Page 19: 17-803/17-400 ELECTRONIC VOTING FALL 2004 COPYRIGHT © 2004 MICHAEL I. SHAMOS 17-803/17-400 Electronic Voting Session 3: Punched-Card Systems Michael I.

17-803/17-400 ELECTRONIC VOTING FALL 2004

COPYRIGHT © 2004 MICHAEL I. SHAMOS

Datavote

• Uses a die to punch a clean hole• Employed in a small

fraction of punch cardcounties

Page 20: 17-803/17-400 ELECTRONIC VOTING FALL 2004 COPYRIGHT © 2004 MICHAEL I. SHAMOS 17-803/17-400 Electronic Voting Session 3: Punched-Card Systems Michael I.

17-803/17-400 ELECTRONIC VOTING FALL 2004

COPYRIGHT © 2004 MICHAEL I. SHAMOS

Human Factors

• Ballot pages• Ballot review• Spoiled ballot• Overvoting• “Butterfly ballot”• “No butterfly ballot may be used as an official ballot in

any referendum, primary, or other election.” N.C. Gen. Stat. §163-165.4B

Page 21: 17-803/17-400 ELECTRONIC VOTING FALL 2004 COPYRIGHT © 2004 MICHAEL I. SHAMOS 17-803/17-400 Electronic Voting Session 3: Punched-Card Systems Michael I.

17-803/17-400 ELECTRONIC VOTING FALL 2004

COPYRIGHT © 2004 MICHAEL I. SHAMOS

Palm Beach County “Butterfly” Ballot

SOURCE: SOUTH FLORIDA SUN-SENTINEL

Page 22: 17-803/17-400 ELECTRONIC VOTING FALL 2004 COPYRIGHT © 2004 MICHAEL I. SHAMOS 17-803/17-400 Electronic Voting Session 3: Punched-Card Systems Michael I.

17-803/17-400 ELECTRONIC VOTING FALL 2004

COPYRIGHT © 2004 MICHAEL I. SHAMOS

Buchanan Vote by County (Florida, 2000)

GRAPH COURTESY OF

PROF. GREG ADAMSCARNEGIE MELLON

&PROF. CHRIS FASTNOW

CHATHAM COLLEGE

SOURCE: PROF. GREG ADAMS

Broward (Fort Lauderdale)

Miami-Dade

Hillsborough (Tampa)

Pinellas (St. Petersburg-Clearwater)

Orange (Orlando)

LINEAR FIT WITHOUT PALM BEACH, BROWARD, MIAMI-DADE

(PURPLE ANNOTATIONS ADDED)

Page 23: 17-803/17-400 ELECTRONIC VOTING FALL 2004 COPYRIGHT © 2004 MICHAEL I. SHAMOS 17-803/17-400 Electronic Voting Session 3: Punched-Card Systems Michael I.

17-803/17-400 ELECTRONIC VOTING FALL 2004

COPYRIGHT © 2004 MICHAEL I. SHAMOS

Broward County Ballot Page

SOURCE: BROWARD COUNTY

Page 24: 17-803/17-400 ELECTRONIC VOTING FALL 2004 COPYRIGHT © 2004 MICHAEL I. SHAMOS 17-803/17-400 Electronic Voting Session 3: Punched-Card Systems Michael I.

17-803/17-400 ELECTRONIC VOTING FALL 2004

COPYRIGHT © 2004 MICHAEL I. SHAMOS

Counting Punched Cards

SOURCE: LOS ANGELES COUNTY

Page 25: 17-803/17-400 ELECTRONIC VOTING FALL 2004 COPYRIGHT © 2004 MICHAEL I. SHAMOS 17-803/17-400 Electronic Voting Session 3: Punched-Card Systems Michael I.

17-803/17-400 ELECTRONIC VOTING FALL 2004

COPYRIGHT © 2004 MICHAEL I. SHAMOS

Ballot “Programming”

• Inform the tabulation system of the correspondence between punch positions and candidate names

Page 26: 17-803/17-400 ELECTRONIC VOTING FALL 2004 COPYRIGHT © 2004 MICHAEL I. SHAMOS 17-803/17-400 Electronic Voting Session 3: Punched-Card Systems Michael I.

17-803/17-400 ELECTRONIC VOTING FALL 2004

COPYRIGHT © 2004 MICHAEL I. SHAMOS

Card Readers

• Manufacturer• Reading the card changes the card• Chads fall out, chads are replaced• Role of “chad teams”

Page 27: 17-803/17-400 ELECTRONIC VOTING FALL 2004 COPYRIGHT © 2004 MICHAEL I. SHAMOS 17-803/17-400 Electronic Voting Session 3: Punched-Card Systems Michael I.

17-803/17-400 ELECTRONIC VOTING FALL 2004

COPYRIGHT © 2004 MICHAEL I. SHAMOS

Counting Punched Cards

SOURCE: NEW YORK TIMES

Page 28: 17-803/17-400 ELECTRONIC VOTING FALL 2004 COPYRIGHT © 2004 MICHAEL I. SHAMOS 17-803/17-400 Electronic Voting Session 3: Punched-Card Systems Michael I.

17-803/17-400 ELECTRONIC VOTING FALL 2004

COPYRIGHT © 2004 MICHAEL I. SHAMOS

Recount

• When a ballot is handled, it can be changed• The voter’s intent must be determined• Suppose only one of four corners is detached. It is a

vote?• Dimpled chad, pregnant chad: how to count?

Page 29: 17-803/17-400 ELECTRONIC VOTING FALL 2004 COPYRIGHT © 2004 MICHAEL I. SHAMOS 17-803/17-400 Electronic Voting Session 3: Punched-Card Systems Michael I.

17-803/17-400 ELECTRONIC VOTING FALL 2004

COPYRIGHT © 2004 MICHAEL I. SHAMOS

What Constitutes a Vote?

• “Each State shall adopt uniform and nondiscriminatory standards that define what constitutes a vote and what will be counted as a vote for each category of voting system used in the State.”

HAVA, 42 U.S.C. § 15481(a)(6)

• TABLE• PENNSYLVANIA

Page 30: 17-803/17-400 ELECTRONIC VOTING FALL 2004 COPYRIGHT © 2004 MICHAEL I. SHAMOS 17-803/17-400 Electronic Voting Session 3: Punched-Card Systems Michael I.

17-803/17-400 ELECTRONIC VOTING FALL 2004

COPYRIGHT © 2004 MICHAEL I. SHAMOS

Punched-Card Problems

• Can’t see whom you’re voting for• Registration of card in ballot frame• Must use stylus: no positive feedback on punch• Hanging chad: chad that is partially attached to the

card– How may corners?– Hanging chad causes count to differ every time

• Dimple: chad that is completely attached but shows evidence of an attempt to punch– Dimple can turn into a vote on multiple readings

Page 31: 17-803/17-400 ELECTRONIC VOTING FALL 2004 COPYRIGHT © 2004 MICHAEL I. SHAMOS 17-803/17-400 Electronic Voting Session 3: Punched-Card Systems Michael I.

17-803/17-400 ELECTRONIC VOTING FALL 2004

COPYRIGHT © 2004 MICHAEL I. SHAMOS

QA&

Page 32: 17-803/17-400 ELECTRONIC VOTING FALL 2004 COPYRIGHT © 2004 MICHAEL I. SHAMOS 17-803/17-400 Electronic Voting Session 3: Punched-Card Systems Michael I.

17-803/17-400 ELECTRONIC VOTING FALL 2004

COPYRIGHT © 2004 MICHAEL I. SHAMOS

What’s a Recount?

• Purpose: “verify” that the original tabulation was correct

• Three kinds of recounts:– A. Physical ballots exist: Count them again.– B. Computer records exist: Tabulate them again.– C. No physical ballots or computer records exist

(e.g. lever machines): Read the counters again

Page 33: 17-803/17-400 ELECTRONIC VOTING FALL 2004 COPYRIGHT © 2004 MICHAEL I. SHAMOS 17-803/17-400 Electronic Voting Session 3: Punched-Card Systems Michael I.

17-803/17-400 ELECTRONIC VOTING FALL 2004

COPYRIGHT © 2004 MICHAEL I. SHAMOS

Votomatic Punched-Card System