Analysis of an Electronic Voting System

Slides:



Advertisements
Similar presentations
Electronic Voting Systems
Advertisements

4/25/2015 6:17 PM Lecture 2: Voting Machine Study Access Control James Hook CS 591: Introduction to Computer Security.
Electronic Voting: Danger and Opportunity J. Alex Halderman Department of Computer Science Center for Information Technology Policy Princeton University.
ELECTION DAY ACTIVITIES. Checklist of contents of the box PCOS machine and its power adaptor Thirteen (13) rolls of official thermal paper Three (3)
Hardware Cryptographic Coprocessor Peter R. Wihl Security in Software.
1 GP Confidential © GlobalPlatform’s Value Proposition for Mobile Point of Sale (mPOS)
By Varun Jain. Introduction  Florida 2000 election fiasco, drew conclusion that paper ballots couldn’t be counted  Computerized voting system, DRE (Direct.
Charlie Daniels Arkansas Secretary of State HAVA Compliant Voting Systems Security Considerations General Recommendations to Enhance Security and Integrity.
1 J. Alex Halderman Security Failures in Electronic Voting Machines Ariel Feldman Alex Halderman Edward Felten Center for Information Technology Policy.
FINAL TESTING AND SEALING ACTIVITIES. The BEI shall check the contents of the PCOS box based on the checklist found inside the PCOS: Checklist of contents.
Voting Machine Technology Tom Trumpbour Computer Software Consultant United States.
Electronic Voting Network Security 1 Edward Bigos George Duval D. Seth Hunter Katie Schroth.
17-803/ ELECTRONIC VOTING FALL 2004 COPYRIGHT © 2004 MICHAEL I. SHAMOS / Electronic Voting Session 5: Direct Recording Electronic (DRE)
Electronic Voting (E-Voting) An introduction and review of technology Written By: Larry Brachfeld CS591, December 2010.
Electronic Voting Linh Nguyen. Electronic Voting  Voting Technologies  The Florida 2000 Election  Direct Recording Electronic Devices (DREs)‏ - Diebold.
Security Awareness: Applying Practical Security in Your World
17-803/ ELECTRONIC VOTING FALL 2004 COPYRIGHT © 2004 MICHAEL I. SHAMOS / Electronic Voting Session 6: The Diebold Reports Michael I.
Lesson 9-Securing a Network. Overview Identifying threats to the network security. Planning a secure network.
WANs and Routers Routers. Router Description Specialized computer Like a general purpose PC, a router has:  CPU  Memory  System Bus Connecting Internal.
Patching MIT SUS Services IS&T Network Infrastructure Services Team.
Cambodia-India Entrepreneurship Development Centre - : :.... :-:-
Use of Thin Clients in an Industrial Environment Foxboro Southeast User’s Group Birmingham, Al February 10-11, 2009 Walter Conner Senior Plant Engineer.
TESTING THE SECRUITY OF ELECTRONIC VOTING SYSTEM Presented By: NIPUN NANDA
Data and Applications Security Secure Electronic Voting Machines Lecture #30 Dr. Bhavani Thuraisingham The University of Texas at Dallas April 23, 2008.
The Impact of Physical Security on Network Security
Operating Systems Operating System
© Paradigm Publishing Inc. 4-1 Chapter 4 System Software.
Chapter-4 Windows 2000 Professional Win2K Professional provides a very usable interface and was designed for use in the desktop PC. Microsoft server system.
Hands-On Microsoft Windows Server 2008
Introduction to Information and Computer Science Security Lecture b This material (Comp4_Unit8b) was developed by Oregon Health and Science University,
Essential Computer Concepts
October 22, 2008 CSC 682 Security Analysis of the Diebold AccuVote – TS Voting Machine Feldman, Halderman and Felten Presented by: Ryan Lehan.
Chapter 4 System Software.
Component 4: Introduction to Information and Computer Science Unit 8: Security Lecture 2 This material was developed by Oregon Health & Science University,
Information Security Analytics Dr. Bhavani Thuraisingham The University of Texas at Dallas Attacks to Databases Hardware Security July 2011.
Week #7 Objectives: Secure Windows 7 Desktop
EE515/IS523 Think Like an Adversary Lecture 7 Usability/Software Failures Yongdae Kim.
Module 7: Fundamentals of Administering Windows Server 2008.
Taking Total Control of Voting Systems: Firmware Manipulations on an Optical Scan Voting Terminal Nicolas Nicolaou Voting Technology Research (VoTeR) Center.
CSC 382/582: Computer SecuritySlide #1 CSC 382/582: Computer Security Voting Security.
Windows Vista Inside Out Chapter 22 - Monitoring System Activities with Event Viewer Last modified am.
NIST Voting Data Formats Workshop Gaithersburg October, 2009 Parker Abercrombie EML for Open Voting.
System Security Chapter no 16. Computer Security Computer security is concerned with taking care of hardware, Software and data The cost of creating data.
EE515/IS523 Think Like an Adversary Lecture 8 Usability/Software Failures Yongdae Kim.
Understanding Computer Viruses: What They Can Do, Why People Write Them and How to Defend Against Them Computer Hardware and Software Maintenance.
CSCI 1033 Computer Hardware Course Overview. Go to enter TA in the “Enter Promotion Code” box on the bottom right corner.
Against E-Voting Ryan Egan, Amber Jones, Alyssa Sankin, Page Stephens, Amber Straight, Philip Sugg, and Diana Troisi Direct recording electronic (DRE)
1 THE COMPUTER. 2 Input Processing Output Storage 4 basic functions.
Wireless and Mobile Security
Introduction to Routers
The world leader in serving science Overview of Thermo 21 CFR Part 11 tools Overview of software used by multiple business units within the Spectroscopy.
Electronic Voting: Danger and Opportunity
PRESENTATION. Parts of the PCOS (3) Operator LCD Screen with Counter (4) Printer Compartment (5) Transmission Port (9) “RETURN” Button (8) “CAST” Button.
12/9-10/2009 TGDC Meeting The VVSG Version 1.1 Overview John P. Wack National Institute of Standards and Technology
Next VVSG Training Security: Testing Requirements October 15-17, 2007 Nelson Hastings Alicia Clay Jones National Institute of Standards and Technology.
Parts of a Computer Created by Carmen Garzes. An electronic device that manipulates information or data. It can store, retrieve or process data. There.
Computer Parts There are many parts that work together to make a computer work.
CompTIA CompTIA A+ Certification Exam Question Answer.
Information Security Analytics
Computer Software.
E-voting …and why it’s good..
Outline What does the OS protect? Authentication for operating systems
TOPIC 6: SYSTEM START-UP AND CONFIGURATION
Outline What does the OS protect? Authentication for operating systems
Improving Reliability of Direct Recording Electronic Voting Systems
Intercept X for Server Early Access Program Sophos Tester
Lecture9: Embedded Network Operating System: cisco IOS
TPM, UEFI, Trusted Boot, Secure Boot
Lecture9: Embedded Network Operating System: cisco IOS
Presentation transcript:

Analysis of an Electronic Voting System TADAYOSHI KOHNO ADAM STUBBLEFIELD† AVIEL D. RUBIN‡ DAN S. WALLACH§ February 27, 2004 Presented by: Aldo Villanueva

Outline Palm Beach Fiasco Introducing DRE History of Diebold Vulnerabilities of Diebold DRE Summary

Palm Beach Ballot Fiasco

Palm Beach Ballot Fiasco

DRE “Direct Recording Electronic” Eliminate paper ballots from the voting process. Process: The voter arrives to the voting place and prove he’s allowed to vote there. He gets a token (PIN or smartcard). Enters the token in the voting terminal and votes for its candidate. DRE System presents the voter’s election and gives a final chance to make changes.

History 1995: I-Mark Systems 1997: Global Election Systems acquired I-Mark 2002: Diebold acquired GES and change the name to Diebold Election System 2006: Diebold removed its name from the voting machines for “strategic” reasons 2007: Diebold changed its name to "Premier Election Solutions"

Analysis of the Diebold’s AccuVote-TS DRE voting system The source code for Diebold’s AccuVote-TS DRE voting system was analyzed. There were several vulnerabilities found.

Vulnerability No. 1: Smartcards The smartcards used in the voting process are very easy to fake since they don’t perform any cryptographic operations. Attacker could: Cast multiple votes End the elections early

Vulnerability No. 2: Tampering System configuration : impersonating any other voting terminal. Ballot definitions: changing the order of the candidates only in the interface Election results: modifying the voting records file stored on the device

Vulnerability No. 3: Impersonating legitimate voting terminals Voting terminals are configured to upload voting totals to a system after an election. An adversary able to pose as a legitimate voting terminal to the tabulating authority could report false vote counts.

Vulnerability No. 4: Key management If an attacker with access to the source code learns the key, he can read and modify voting and auditing records. In the Diebold system, from the CVS logs, we see this particular key has been used without change since December 1998.

Vulnerability No. 5: Linking voters to their votes Each vote is written sequentially to the file recording the votes. It’s easy for the attacker (poll worker) to access the voting records, to link voters with their votes.

Vulnerability No. 6: Audit logs The whole audit log is encrypted using an insecure method. At the time that the logging occurs, the log can also be printed to an attached printer. An attacker could create discrepancies between the printed log and the log stored on the terminal by unplugging the printer (or, by simply cutting the cable).

Other vulnerabilities An attacker can delay the start of an election: DoS attack against the election management’s server preventing the voting terminals from acquiring their ballot definition in time. Poor software engineering: Uses C++ No documentation  Top-to-bottom code review would be nearly impossible.

Summary Significant security flaws: Voters can trivially cast multiple ballots Administrative functions can be performed by regular voters Threats posed by insiders such as poll workers, software developers, etc.

SECURITY ANALYSIS OF THE DIEBOLD ACCUVOTE – TS VOTING MACHINE Ariel J. Feldman J. Alex Halderman Edward W. Felten September 13, 2006 Presented by: Jiseong Noh

Outline Overview of Diebold AccuVote-TS Voting Machine Design Points Boot Processes Vulnerability Points Attack Scenarios Mitigation of the vulnerabilities Conclusion

Diebold AccuVote-TS Manufactured by Diebold Election Systems Sold to Election Systems & Software in 2009 DRE – Direct Recording Electronic Voting Machine Voters use machine to cast vote Machine is used to record the votes (*) 32% of the USA registered voters used DRE in 2008 About 16 Million voters used Accuvote-TS in 2010 Custom election software runs on top of Windows CE (*)http://www.electiondataservices.com/images/File/NR_VoteEquip_Nov-2008wAppendix2.pdf)

Design Points Serial port Processor RAM Touch Screen Smart Card Reader Audio jack Removable Flash Printer On-board Flash EPROM Open to Public Key Access Inside Box http://web.cecs.pdx.edu/~hook/cs491sp08/AccessControlSp08.pdf

Design Points Similar to a general-purpose hand-held PC (CPU) (RAM) Similar to a general-purpose hand-held PC A CPU, 32MB RAM, 16MB internal flash storage Touchscreen LCD display Two PC card slots – one for memory card, other for modem card OS uses a customized software Automatically runs Voting Program Searches for special files in memory card to administer or update the system Searches for script files with user confirmation (Flash)

Boot Process Boot loader loads itself into RAM Boot Location determined by jumpers on the board Onboard Flash Memory (default) EPROM Ext Flash slot Boot loader looks for special file names fboot.nb0: replacement boot loader nk.bin: replacement of operating system EraseFFX.bsq: erases file system on-board flash *** Does not verify file authenticity!

Boot Process Windows CE image loads and start Customized task manager Automatically runs Voting program If memory card is present and contains explorer.glb Runs windows explorer instead of voting program runs script files (. with user confirmation

Vulnerability Points (H/W) Lightweight Lock: easily picked up without a key Easy Access to Memory Card

Vulnerability Points (H/W) EPROM(E): Replace EPROM with malware PC Card Slot(S): Used to replace existing software with malware using Memory Card Serial Keypad Connector(O): open communication port Infrared Port(N): open communication port

Vulnerability Points (S/W) Authenticity problem Never checks to validate the authenticity of files on the memory card on booting or updating software Buffer Overflow malformed script files could bypass the confirmation http://www.cyberdin.com/images/stories/pict5.jpg

Attack Types Stealing Votes Denial-of-Service Malicious processes runs in parallel with voting program Change votes for a favored candidate Total count of votes does not change Denial-of-Service Destroys all records of the election Makes the voting machine inoperable

Delivery of Malicious Code EPROM Attack code is placed on an EPROM chip Attacker replaces the EPROM chip and changes the jumper settings to boot from EPROM Memory card on PC Card Slot Attack code is placed on the memory card Memory card is inserted before voting machine booted Malicious boot loader containing virus is installed on the machine The machine is now infected

Delivery of Malicious Code Memory card on PC Card Slot (continue)

Mitigation of Vulnerabilities Modifications to DRE Software and Hardware Digitally sign all software updates Verify the signature of software updates before installing them Ask user confirmation of any software updates Use specialized hardware to maintain tamper-proof logs Physical Access Controls Sealing the machine and memory card with tamper-evident seals

Summary DREs are like desktop PC, in the security point of view Diebold AccuVote-TS has many serious vulnerabilities Weak physical security Runs on general-purpose H/W and OS No way to check if an attack occurred Virus attack possible – no need for distributed attack DREs have their advantages; however, they should overcome these problems to make reliable votes

Bankruptcy of Diebold Papers which criticize DRE, particularly Diebold Systems 2003: Analysis of an Electronic Voting System 2004: Trusted Agent Report Diebold AccuVote-TS Voting System 2006: Security Analysis Of The Diebold AccuVote - TS Voting Machine Bad Reputation  Changed the name multiple times May 19, 2010 Dominion Voting Systems acquired Premier Elections Solutions.

Conclusions Voting equipment vendors say closed-source nature of the systems makes them more secure. Authors think that an open process would result better. The best solution will be a computerized voting system with ballot paper.