An Architecture For Electronic Voting Master Thesis Presentation Clifford Allen McCullough Department of Computer Science University of Colorado at Colorado Springs October ??, 2012

Outline The Need for an E-Voting System US Voluntary Voting System Guidelines Existing Solutions Proposed Architecture A Demonstration System Performance Comparisons Lessons Learned Future Work Summary 10/30/2012An Architecture for Electronic Voting by Clifford Allen McCullough2

The Need for an E-Voting System Business Board of Directors Proxy votes US citizens overseas US military overseas 10/30/2012An Architecture for Electronic Voting by Clifford Allen McCullough3

Related Work Brief Overview of the related literature in conferences/journal. (Pick key 3-4 papers). Just list their references. Mention how are they related to your work. 10/30/2012An Architecture for Electronic Voting by Clifford Allen McCullough4

US Voluntary Voting System Guidelines (VVSG) Security Accuracy Error Recovery Integrity Vote Tabulation Casting a Ballot Accessibility Independent Verification System 10/30/2012An Architecture for Electronic Voting by Clifford Allen McCullough5

Existing Solutions Commercial web-based voting systems are available Secure Electronic Registration and Voting Experiment (SERVE) Security Peer Review Group (SPRG) 10/30/2012An Architecture for Electronic Voting by Clifford Allen McCullough6

Proposed Architecture Design Requirements General Schema The System Architecture Paillier Cryptography 10/30/2012An Architecture for Electronic Voting by Clifford Allen McCullough7

Design Requirements VVSG Information Assurance general rules ◦ Minimize the attach surface ◦ Mitigate the vulnerabilities 10/30/2012An Architecture for Electronic Voting by Clifford Allen McCullough8

General Schema Should not be centralized Greatest vulnerability are from insider attacks Denial of service Keep control of the ballot Publish the web application 10/30/2012An Architecture for Electronic Voting by Clifford Allen McCullough9

The System Architecture Voting-Server Voter Authentication Issue Presentation Verify the Ballot Casting the Ballot Mutual Authentication 10/30/2012An Architecture for Electronic Voting by Clifford Allen McCullough10

Election Key Pair Generation and Reproduced by Election Judges Describe how that work 10/30/2012An Architecture for Electronic Voting by Clifford Allen McCullough11

How Ballots are Encoded/Encrypted/Decryted With a short example illustrate how ballot are encoded (candidate/write in) May include a snapshort like Figure 4. 10/30/2012An Architecture for Electronic Voting by Clifford Allen McCullough12

System Diagram 10/30/2012An Architecture for Electronic Voting by Clifford Allen McCullough13

Paillier Cryptography Exponential [cite ref] ◦ Show the formula for each method Homomorphic [ref] Generalized Paillier [ref] 10/30/2012An Architecture for Electronic Voting by Clifford Allen McCullough14

A Demonstration System A 32-bit demonstration and development system based on ESXi (Do not use other people’s software product name as yours system name. Pick one that readers can remember and cited) A 64-bit demonstration system on EAS Infrastructure. Give it a name. 10/30/2012An Architecture for Electronic Voting by Clifford Allen McCullough15

32-bit Development System 10/30/2012An Architecture for Electronic Voting by Clifford Allen McCullough16

64-bit Demonstration System 10/30/2012An Architecture for Electronic Voting by Clifford Allen McCullough17

Performance Comparisons Cryptographic Methods Cryptographic Key Generation Block Paillier vs. Generalized Paillier Ballot Casting Include Figures 3-8 Tables 3-7 in separate viewgraphs 10/30/2012An Architecture for Electronic Voting by Clifford Allen McCullough18

Lessons Learned Freeware ◦ (add short description for each of these lessons) Internet Forums Using Multiple Programing Languages ◦ More detail here. 10/30/2012An Architecture for Electronic Voting by Clifford Allen McCullough19

Future Work Redundancy Secret Share Encryption and Decryption Error Handling and Logging Ballot Generation Ballot and Multi-lingual Database Quorum Login 10/30/2012An Architecture for Electronic Voting by Clifford Allen McCullough20

Summary Developing an Election Assistance Commission compliant voting system is a significant undertaking SERVE objective too much too soon Much future work available The demonstration system is a proof of concept 10/30/2012An Architecture for Electronic Voting by Clifford Allen McCullough21

Demonstration Generate and load a key Initialize services Vote Collect the tally Decrypt the tally 10/30/2012An Architecture for Electronic Voting by Clifford Allen McCullough22

References MotionVoter. (2011). Retrieved March 6, 2012, from Cardellini, V., Casalicchio, E., Colajanni, M., & Yu, P. S. (2002). The State of the Art in Locally Distributed Web-Server Systems. ACM Computing Surveys, Vol 34, No 2, Damgard, I. B., & Jurik, M. J. (December 2000). A Generalisation, a Simplification and some Applications of Paillier's Probabilstic Public-Key System. Basic Research in Computer Science, RS Defense, D. o. (2007). Expanding the Use of Electronic Voting Technology for UOCAVA Citizens. Department of Defense. EAC. (2010). Election Assistance Commission. Retrieved February 29, 2012, from EAC Voting System Testing and Certification Division. (2011). A Survey of Internet Voting. Washington, DC EAC VVSG Vol I. (2010). Voluntary Voting System Guidelines Volume I. Retrieved August 24, 2012, from United States Election Assistance Commission: EAC VVSG Vol II. (2010). Voluntary System Guidelines Volume II. Retrieved August 24, 2012, from United States Election Assistance Commission: Jefferson, D. D., Rubin, D. A., Simons, D. B., & Wagner, D. D. (2004). A Security Analysis of the Secure Electronic Registration and Voting Experiment (SERVE). Paillier, P. (1999). Public-Key Cryptosystems Based on Composite Degree Residuosity Clases. Advances in Cryptology - Eurocrypt '99, pp Shamir, A. (November, 1979). How to Share a Secret. Communications of the ACM, Vote-Now. (n.d.). Retrieved March 6, 2012, from 10/30/2012An Architecture for Electronic Voting by Clifford Allen McCullough23