Survey on End-To-End Verifiable Cryptographic Voting Systems
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
NIST Voting Presentation
Improving U.S. Voting Systems NIST VOTING Mary Brady Voting Program Manager NIST [email protected] Josh Franklin Lead, NIST Voting Security [email protected] ISPAB 10/25/2017 1 Improving U.S. Voting Systems Topics • VVSG 2.0 Development • VVSG Scope • VVSG Structure • VVSG: Principles and Guidelines • Requirements & Test Assertions • Cybersecurity and Elections 2 Improving U.S. Voting Systems VVSG 2.0 Development EAC Standards Board of TGDC Board Advisors NIST Director Voting Guidelines • Tap into as many experts as possible NIST PWG’s • Get continual feedback Improving U.S. Voting Systems Together…Making It Happen NIST NASED EAC FVAP IEEE Goals Military/Overseas Voters High-level, Election plain language Process principles Common Data Format Legal Requirements Common Accessibility Threads Requirements -> verified code Improving U.S. Voting Systems NIST-EAC Public Working Groups Election Groups • Developed election process models that served as the basis for use cases and the core functions • Pre-Election (103 members) • Election: (107 members) • Post-Election: (96 members) Constituency Groups • Conducted gap analyses and developed draft VVSG 2.0 Principles and Guidelines • U&A (105 members) • Cybersecurity (121 members) • Interoperability (158 members) • Testing (84 members) 5 Improving U.S. Voting Systems Election Models 6 Improving U.S. Voting Systems Reaching Consensus on VVSG Scope Election Election Process Use Case Core WGs Models Scenarios Functions Pre, • TGDC • Standards Election, • EAC/NIST Board • PWG Chairs • Board of and Post Advisors • NASED Improving U.S. Voting Systems A New VVSG Structure EAC NASED EAC VVSG NASED Input Roundtable / TGDC, SB, BoA Subgroup / Futures Group to EAC / NIST Public Adoption NIST Meetings 8 Improving U.S. -
Improving and Analysing Bingo Voting
Improving and Analysing Bingo Voting zur Erlangung des akademischen Grades eines Doktors der Naturwissenschaften von der Fakultät für Informatik des Karlsruher Instituts für Technologie (KIT) genehmigte Dissertation von Christian Henrich aus Marburg Tag der mündlichen Prüfung: 5. Juli 2012 Erster Gutachter: Prof. Dr. Jörn Müller-Quade Zweiter Gutachter: Juniorprof. Dr. Dennis Hofheinz KIT – University of the State of Baden-Wuerttemberg and National Laboratory of the Helmholtz Association www.kit.edu Contents Abstract 9 Zusammenfassung 11 1 Introduction 15 1.1 Contribution of this Work . 16 1.2 Structure of this Work . 16 2 Preliminaries 19 2.1 About Elections . 19 2.1.1 Election Types . 19 2.1.2 Voting Procedure . 20 2.1.3 Electoral Systems . 21 2.1.4 Properties of Elections . 22 2.1.5 Attacks on Voting Schemes . 23 2.1.6 Paper vs. Machine . 24 2.1.6.1 Paper Ballots . 24 2.1.6.2 Optical Scan Voting System . 25 2.1.6.3 Voting Machines . 25 2.1.7 Presence vs. Remote Voting . 26 2.2 Terminology and Notions . 27 2.2.1 Roles in an Election . 27 2.2.2 Phases of an Election . 27 2.2.3 Tally and Result . 28 2.3 Security Notions . 29 2.3.1 Correctness . 29 2.3.1.1 Software Independence . 29 2.3.1.2 End-to-end Security . 30 2.3.2 Ballot Secrecy . 30 2.3.2.1 Receipt Freeness . 31 2.3.2.2 Coercion Resistance . 31 2.3.3 Practical Requirements . 32 2.3.3.1 Dispute Freeness . 32 2.3.3.2 Robustness . -
The New Jersey Voting-Machine Lawsuit and the AVC Advantage DRE Voting Machine
The New Jersey Voting-machine Lawsuit and the AVC Advantage DRE Voting Machine Andrew W. Appel∗ Maia Ginsburg Harri Hursti Brian W. Kernighan Princeton University Princeton University Princeton University Christopher D. Richards Gang Tan Penny Venetis Princeton University Lehigh University Rutgers School of Law – Newark Abstract As a result of a public-interest lawsuit, by Court order we were able to study, for one month, the hardware and source code of the Sequoia AVC Advantage direct-recording electronic voting machine, which is used throughout New Jersey (and Louisiana), and the Court has permitted us to publicly describe almost everything that we were able to learn. In short, these machines are vulnerable to a wide variety of attacks on the voting process. It would not be in the slightest difficult for a moderately determined group or individual to mount a vote-stealing attack that would be successful and undetectable. 1 Litigation and legislation in New Jersey In October 2004 a group of public-interest plaintiffs, represented by Professor Penny Venetis of the Rutgers Law School, sued the State of New Jersey (in NJ Superior Court) over the State’s use of direct-recording electronic (DRE) voting machines in New Jersey. By 2004, most of New Jersey’s counties had adopted the Sequoia AVC Advantage full-face DRE. Currently 18 out of New Jersey’s 21 counties use this DRE. The plaintiffs argued that the use of DRE voting machines is illegal and unconstitutional: illegal, because they violate New Jersey election laws requiring that all votes be counted accurately and that voting machines be thoroughly tested, accurate, and reliable; and unconstitutional, because they violate the New Jersey constitution’s requirement that all votes count.1 The plaintiffs argued that one cannot trust a paperless DRE machine to count the vote. -
Electronic Voting: Methods and Protocols Christopher Andrew Collord James Madison University
James Madison University JMU Scholarly Commons Masters Theses The Graduate School Spring 2013 Electronic voting: Methods and protocols Christopher Andrew Collord James Madison University Follow this and additional works at: https://commons.lib.jmu.edu/master201019 Part of the Computer Sciences Commons Recommended Citation Collord, Christopher Andrew, "Electronic voting: Methods and protocols" (2013). Masters Theses. 177. https://commons.lib.jmu.edu/master201019/177 This Thesis is brought to you for free and open access by the The Graduate School at JMU Scholarly Commons. It has been accepted for inclusion in Masters Theses by an authorized administrator of JMU Scholarly Commons. For more information, please contact [email protected]. Electronic Voting: Methods and Protocols Christopher A. Collord A thesis submitted to the Graduate Faculty of JAMES MADISON UNIVERSITY In Partial Fulfillment of the Requirements for the degree of Master of Science InfoSec 2009 Cohort May 2013 Dedicated to my parents, Ross and Jane, my wife Krista, and my faithful companions Osa & Chestnut. ii Acknowledgements: I would like to acknowledge Krista Black, who has always encouraged me to get back on my feet when I was swept off them, and my parents who have always been there for me. I would also like to thank my dog, Osa, for sitting by my side for countless nights and weekends while I worked on this thesis—even though she may never know why! Finally, I would also like to thank all who have taught me at James Madison University. I believe that the education I have received will serve me well for many years to come. -
Auditing Technology for Electronic Voting Machines
CALTECH/MIT VOTING TECHNOLOGY PROJECT A multi-disciplinary, collaborative project of the California Institute of Technology – Pasadena, California 91125 and the Massachusetts Institute of Technology – Cambridge, Massachusetts 02139 AUDITING TECHNOLOGY FOR ELECTRONIC VOTING MACHINES Sharon B. Cohen MIT Key words: DRE, voting machine security, electronic voting, electronic voting machines, auditing technology VTP WORKING PAPER #46 May 2005 Auditing Technology for Electronic Voting Machines by Sharon B. Cohen Submitted to the Department of Electrical Engineering and Computer Science in Partial Fulfillment of the Requirements for the Degrees of Bachelor of Science in Computer Science and Engineering and Master of Engineering in Electrical Engineering and Computer Science at the Massachusetts Institute of Technology May 19, 2005 Copyright 2005 Sharon B. Cohen. All rights reserved. The author hereby grants to M.I.T. permission to reproduce and distribute publicly paper and electronic copies of this thesis and to grant others the right to do so. Author_________________________________________________________________ Department of Electrical Engineering and Computer Science May 19, 2005 Certified by___________________________________________________________ Ted Selker Thesis Supervisor Accepted by____________________________________________________________ Arthur C. Smith Chairman, Department Committee on Graduate Theses Auditing Technology for Electronic Voting Machines by Sharon B. Cohen Submitted to the Department of Electrical Engineering -
Performance Evaluation of the Bingo Electronic Voting Protocol
IOSR Journal of Computer Engineering (IOSR-JCE) e-ISSN: 2278-0661,p-ISSN: 2278-8727, Volume 17, Issue 2, Ver. 1 (Mar – Apr. 2015), PP 89-102 www.iosrjournals.org Performance Evaluation of the Bingo Electronic Voting Protocol Waleed A. Naji, Sherif Khattab and Fatma A. Omara Department of Computer Science, Faculty of Computers and Information Cairo University, Egypt Abstract: Research in e-voting aims at designing usable and secure electronic voting systems. This paper provides an empirical analysis of the computational performance of a prototype implementation of the Bingo electronic voting protocol. Bingo is a receipt-based end-to-end verifiable electronic voting protocol that claims the property of coercion resistance. According to this work, a prototype of the Bingo design has been described in terms of sequence and class diagrams. Also, its operation has been demonstrated using a case study of a sample election. Four main operations have been analyzed; initialization of cyclic groups, generation of dummy votes, zero-knowledge proof of fair vote distribution over candidates, and zero-knowledge proof of receipt correctness. The performance was affected by the cyclic group order, number of candidates, and number of voters. Keywords: E-voting, Bingo voting, coercion resistance, zero-knowledge proof, commitments. I. Introduction Voting plays an essential role in a democracy. The result of voting determines the future of a country. Voting must achieve a set of requirements. On the other hands, an e-voting system must achieve technical requirements, user interaction requirements, integration requirements, and (most critically) security requirements [1-4]. Security requirements of the e-voting system are classified into two group; voter-related requirements and voting-related requirements. -
Voting System Failures: a Database Solution
B R E N N A N CENTER FOR JUSTICE voting system failures: a database solution Lawrence Norden Brennan Center for Justice at New York University School of Law about the brennan center for justice The Brennan Center for Justice at New York University School of Law is a non-partisan public policy and law institute that focuses on fundamental issues of democracy and justice. Our work ranges from voting rights to campaign finance reform, from racial justice in criminal law to presidential power in the fight against terrorism. A singular institution – part think tank, part public interest law firm, part advocacy group – the Brennan Center combines scholarship, legislative and legal advocacy, and communication to win meaningful, measurable change in the public sector. about the brennan center’s voting rights and elections project The Brennan Center promotes policies that protect rights, equal electoral access, and increased political participation on the national, state and local levels. The Voting Rights and Elections Project works to expend the franchise, to make it as simple as possible for every eligible American to vote, and to ensure that every vote cast is accurately recorded and counted. The Center’s staff provides top-flight legal and policy assistance on a broad range of election administration issues, including voter registration systems, voting technology, voter identification, statewide voter registration list maintenance, and provisional ballots. The Help America Vote Act in 2002 required states to replace antiquated voting machines with new electronic voting systems, but jurisdictions had little guidance on how to evaluate new voting technology. The Center convened four panels of experts, who conducted the first comprehensive analyses of electronic voting systems. -
Building Reliable Voting Machine Software
Building Reliable Voting Machine Software Ka-Ping Yee Electrical Engineering and Computer Sciences University of California at Berkeley Technical Report No. UCB/EECS-2007-167 http://www.eecs.berkeley.edu/Pubs/TechRpts/2007/EECS-2007-167.html December 19, 2007 Copyright © 2007, by the author(s). All rights reserved. Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. To copy otherwise, to republish, to post on servers or to redistribute to lists, requires prior specific permission. Acknowledgement I am grateful to many people who helped make this dissertation possible. My advisors: David Wagner, Marti Hearst. My committee members: Henry Brady, Joe Hellerstein. Advice: Steve Bellovin, Candy Lopez, Scott Luebking, Noel Runyan, Joseph Hall. Security review: Matt Bishop, Ian Goldberg, Tadayoshi Kohno, Mark Miller, Dan Sandler, Dan Wallach. Funding: National Science Foundation, through ACCURATE. Thanks also to Scott Kim, La Shana Porlaris, Lisa Friedman, and my parents. Building Reliable Voting Machine Software Ka-Ping Yee B. A. Sc. (University of Waterloo) 1998 A dissertation submitted to the Graduate Division of the University of California, Berkeley in partial fulfillment of the requirements for the degree of Doctor of Philosophy in Computer Science Committee in charge: Professor David Wagner, Co-chair Professor Marti Hearst, Co-chair Professor Henry Brady Professor Joseph Hellerstein Fall 2007 The dissertation of Ka-Ping Yee is approved. -
Engineering Practical End-To-End Verifiable Voting Systems
ABSTRACT Title of Dissertation: Engineering Practical End-to-End Verifiable Voting Systems Richard T. Carback III, Doctor of Philosophy, 2010 Dissertationdirected by: Alan T. Sherman, Associate Professor Department of Computer Science and Electrical Engineering We designed, built, tested, and fielded a vote counting system called Scantegrity. Scan- tegrity is part of a new class of end-to-end (E2E) verifiable voting systems. E2E verifiable systems are designed to solve chain of custody problems in elections by providing a privacy-preserving receipt to each voter. The voter can use the receipt to check a public record and verify that his or her ballot is counted without revealing the selected candidate. The public record gives election officials the ability to provide a strong, universally-accessible audit of the results, enabling transparent, verifiable elections that maintain privacy expectations. E2E systems offer radical improvements to integrity and transparency of election systems, and the adoption of E2E systems in public-sector elections can improve outcome integrity. In our design, we carefully considered the balance between usability and security issues, and we discuss the changes we made to implement the system. We examined the implementation through the results of a practical test of Scantegrity in a mock election in April 2009, which evaluated the system’s performance and surveyed the election participants about their experience with the system. We describe a number of changes we made to the system as a result of this test. For example, Scantegrity required better printing technology and a tally reconciliation system. We evaluated the modified system a second time by fielding it in the Takoma Park, Maryland, November 2009 municipal election, where we were able to survey voters and observe events throughout election day. -
Buying Or Leasing of Election Machines by COMELEC
A Service of Leibniz-Informationszentrum econstor Wirtschaft Leibniz Information Centre Make Your Publications Visible. zbw for Economics Quimba, Francis Mark A. Working Paper Buying or Leasing of Election Machines by COMELEC PIDS Discussion Paper Series, No. 2013-42 Provided in Cooperation with: Philippine Institute for Development Studies (PIDS), Philippines Suggested Citation: Quimba, Francis Mark A. (2013) : Buying or Leasing of Election Machines by COMELEC, PIDS Discussion Paper Series, No. 2013-42, Philippine Institute for Development Studies (PIDS), Makati City This Version is available at: http://hdl.handle.net/10419/126950 Standard-Nutzungsbedingungen: Terms of use: Die Dokumente auf EconStor dürfen zu eigenen wissenschaftlichen Documents in EconStor may be saved and copied for your Zwecken und zum Privatgebrauch gespeichert und kopiert werden. personal and scholarly purposes. Sie dürfen die Dokumente nicht für öffentliche oder kommerzielle You are not to copy documents for public or commercial Zwecke vervielfältigen, öffentlich ausstellen, öffentlich zugänglich purposes, to exhibit the documents publicly, to make them machen, vertreiben oder anderweitig nutzen. publicly available on the internet, or to distribute or otherwise use the documents in public. Sofern die Verfasser die Dokumente unter Open-Content-Lizenzen (insbesondere CC-Lizenzen) zur Verfügung gestellt haben sollten, If the documents have been made available under an Open gelten abweichend von diesen Nutzungsbedingungen die in der dort Content Licence (especially Creative Commons Licences), you genannten Lizenz gewährten Nutzungsrechte. may exercise further usage rights as specified in the indicated licence. www.econstor.eu Philippine Institute for Development Studies Surian sa mga Pag-aaral Pangkaunlaran ng Pilipinas Buying or Leasing of Election Machines by COMELEC Francis Mark A. -
Smartmatic - Wikipedia
03/12/2020 Smartmatic - Wikipedia Smartmatic The neutrality of this article is disputed. Learn more Smartmatic (also referred as Smartmatic Corp. or Smartmatic International) is a multinational company that specialises in building and implementing electronic voting systems. The company also produces smart cities solutions (including public safety and public transportation), identity management systems for civil registration and authentication products for government applications. Smartmatic Type Privately held Industry Technology, Electronic voting Founded 2000 Headquarters London, United Kingdom[1], multinational Key people Antonio Mugica, CEO Peter V. Neffenger, Chairman Revenue $250 million[2] (2014) Number of employees 600[3] Website www.smartmatic.com History Founding … In 1997,[4] three engineers, Antonio Mugica, Alfredo José Anzola and Roger Piñate[5], began collaborating in a group while working at Panagroup Corp. in Caracas, Venezuela.[6][7][8][9][10][11] Following the 2000 United States presidential election and its hanging chad controversy in Florida, the group proposed to dedicate a system toward electoral functions.[10][12] Smartmatic was officially incorporated on 11 April 2000 in Delaware by Alfredo José Anzola.[13][14][15] Smartmatic then https://en.m.wikipedia.org/wiki/Smartmatic 1/28 03/12/2020 Smartmatic - Wikipedia established its headquarters in Boca Raton, Florida with seven employees.[8][9] After receiving funds from private investors,[8] the company then began to expand. Expansion … Smartmatic was a little-known -
University of Surrey Computing Sciences Report CS-13-04
University of Surrey Proceedings of Vote-ID 2013 Department of Computing James Heather Steve Schneider Vanessa Teague (Eds) July 17, 2013 Computing Sciences Report CS-13-04 We are grateful to the authors for their permission to include author copies of their accepted papers in this institutional archive. Preface This is the fourth edition of the International Conference on E-Voting and Iden- tity (VoteID). Previous VoteID conferences were held in Tallinn, Estonia (2011), Luxembourg (2009) and Bochum, Germany (2007). This year’s VoteID takes place in Guildford, UK, on 17–19 July 2013, hosted by the University of Surrey, preceded by a special session on “Voting Systems Demonstrations” exhibiting recent practical developments in voting systems. Countries around the world are increasing their deployment of electronic vot- ing, though in many places the trustworthiness of their systems remains contro- versial. Vote-ID has always maintained a strong focus on designing trustworthy voting systems, but the breadth of interpretations of trustworthiness seems to widen every year. This year’s papers include a range of works on end-to-end ver- ifiable election systems, verifiably correct complex tallying algorithms, human perceptions of verifiability, formal models of verifiability and, of course, attacks on systems formerly advertised as verifiable. To be trustworthy is one thing, but to be trusted is quite another. The increas- ing practical application of electronic voting technologies implies a need for us to understand the wider implications of gaining