An Overview on Cryptographic Voting Systems
|
|
|
- Lesley Clark
- 5 years ago
- Views:
Transcription
1 ISI Day 20th Anniversary An Overview on Cryptographic Voting Systems Prof. Andreas Steffen University of Applied Sciences Rapperswil A. Steffen, , QUT-ISI-Day.ppt 1
2 Where the heck is Rapperswil? A. Steffen, , QUT-ISI-Day.ppt 2
3 HSR - Hochschule für Technik Rapperswil University of Applied Sciences with about 1000 students Faculty of Information Technology ( students) Bachelor Course (3 years), Master Course (+1.5 years) A. Steffen, , QUT-ISI-Day.ppt 3
4 Cryptographic Voting Systems Summary of my talk: Due to repeated failures and detected vulnerabilities in both electro-mechanical and electronic voting machines, voters have somehow lost faith that the outcome of a poll always represents the true will of the electorate. Manual counting of paper ballots is not really an option in the 21 st century and is not free from tampering either. Modern cryptographic voting systems allow true end-to-end verification of the complete voting process by any individual voter, without sacrificing secrecy and privacy. A. Steffen, , QUT-ISI-Day.ppt 4
5 Direct Recording Electronic Voting Machines In the 2006 mid-term federal elections, one third of registered U.S. voters used Direct Recording Electronic (DRE) voting machines. In the 2008 federal elections, many states returned to paper ballots with optical scanning but six states used 100% DREs without a Voter-Verified Paper Audit Trail (VVPAT). Diebold Elections System DRE voting machine with a VVPAT attachment. A. Steffen, , QUT-ISI-Day.ppt 5
6 Losing Trust in Electronic Voting Systems The Morning Call: Voter smashes DRE in Allentown with metal cat Princeton study on Diebold DRE: Hack the vote? No problem Dutch ES3B voting machines: Hacked to play chess A. Steffen, , QUT-ISI-Day.ppt 6
7 Traditional Chain-of-Custody Security Sealing Software Verification Tallying Verification by proxy only A. Steffen, , QUT-ISI-Day.ppt 7
8 Desirable: End-to-End Verification by Voter Secrecy? Privacy? A. Steffen, , QUT-ISI-Day.ppt 8
9 End-to-End Auditable Voting System (E2E) Any voter can verify that his or her ballot is included unmodified in a collection of ballots. Any voter (and typically any independent party additionally) can verify, with high probability, that the collection of ballots produces the correct final tally. No voter can demonstrate how he or she voted to any third party (thus preventing vote-selling and coercion). Source: Wikipedia A. Steffen, , QUT-ISI-Day.ppt 9
10 Solution: Cryptographic Voting Systems A. Steffen, , QUT-ISI-Day.ppt 10
11 Proposed E2E Systems Punchscan by David Chaum. Prêt à Voter by Peter Ryan. Scratch & Vote by Ben Adida and Ron Rivest. ThreeBallot by Ron Rivest (paper-based without cryptography) Scantegrity II by David Chaum, Ron Rivest, Peter Ryan et al. (add-on to optical scan voting systems using Invisible Ink) A. Steffen, , QUT-ISI-Day.ppt 11
12 Scratch & Vote Ballot Perforation Randomized candidate list 2D barcode Obama None McCain Encrypt pk (2 56, r1) Encrypt pk (2 0, r2) Encrypt pk (2 28, r3) ElGamal or Paillier Public Key Encryption Scratch surface r1 r2 r3 Random Key A. Steffen, , QUT-ISI-Day.ppt 12
13 Homomorphic Counters Obama McCain None One vote for Obama One vote for McCain One vote for None Tallying Counter Multiplication of all encrypted votes with Tallying Counter accumulates votes in the candidates counters in encrypted form. Total number of registered U.S. voters < 2 28 (28 bits) 1024 bit Paillier Public Key Cryptosystem could handle 35 candidates A. Steffen, , QUT-ISI-Day.ppt 13
14 Pre-Voting Verification I McCain Obama None None Obama McCain Vote Valerie the Voter Audit A. Steffen, , QUT-ISI-Day.ppt 14
15 Pre-Voting Verification II McCain Obama None None Obama McCain None Obama McCain r1 r2 r3 Vote Valerie the Voter Audit A. Steffen, , QUT-ISI-Day.ppt 15
16 Casting the Ballot I McCain Obama None Valerie the Voter A. Steffen, , QUT-ISI-Day.ppt 16
17 Casting the Ballot II McCain Obama None Ed the Election Official Valerie the Voter A. Steffen, , QUT-ISI-Day.ppt 17
18 Casting the Ballot III Keep as a receipt Optical Scanner Ed the Election Official Valerie the Voter A. Steffen, , QUT-ISI-Day.ppt 18
19 Post-Voting Verification Web Bulletin Board Valerie Vanessa Victor Valerie the Voter A. Steffen, , QUT-ISI-Day.ppt 19
20 Tally and Decryption of Final Result Obama McCain None Threshold decryption with shared private key Valerie Web Bulletin Board Vanessa Victor Democrats Republicans Independents Homomorphic Addition Encrypted tallying counter A. Steffen, , QUT-ISI-Day.ppt 20
21 Conclusion Modern Cryptographic Voting Systems allow true end-to-end verification of the whole voting process by anyone while maintaining a very high level of secrecy. Due to the advanced mathematical principles they are based on, Cryptographic Voting Systems are not easy to understand and are therefore not readily accepted by authorities and the electorate. But let s give Cryptographic Voting Systems a chance! They can give democracy a new meaning in the 21 st century! A. Steffen, , QUT-ISI-Day.ppt 21
An Introduction to Cryptographic Voting Systems
Kickoff Meeting E-Voting Seminar An Introduction to Cryptographic Voting Systems Andreas Steffen Hochschule für Technik Rapperswil andreas.steffen@hsr.ch A. Steffen, 27.02.2012, Kickoff.pptx 1 Cryptographic
Prêt à Voter: a Voter-Verifiable Voting System Peter Y. A. Ryan, David Bismark, James Heather, Steve Schneider, and Zhe Xia
662 IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY, VOL. 4, NO. 4, DECEMBER 2009 Prêt à Voter: a Voter-Verifiable Voting System Peter Y. A. Ryan, David Bismark, James Heather, Steve Schneider,
COMPUTING SCIENCE. University of Newcastle upon Tyne. Verified Encrypted Paper Audit Trails. P. Y. A. Ryan TECHNICAL REPORT SERIES
UNIVERSITY OF NEWCASTLE University of Newcastle upon Tyne COMPUTING SCIENCE Verified Encrypted Paper Audit Trails P. Y. A. Ryan TECHNICAL REPORT SERIES No. CS-TR-966 June, 2006 TECHNICAL REPORT SERIES
Security of Voting Systems
Security of Voting Systems Ronald L. Rivest MIT CSAIL Given at: Collège de France March 23, 2011 Outline Voting technology survey What is being used now? Voting Requirements Security Threats Security Strategies
Accessible Voter-Verifiability
Cryptologia, 33:283 291, 2009 Copyright # Taylor & Francis Group, LLC ISSN: 0161-1194 print DOI: 10.1080/01611190902894946 Accessible Voter-Verifiability DAVID CHAUM, BEN HOSP, STEFAN POPOVENIUC, AND POORVI
Challenges and Advances in E-voting Systems Technical and Socio-technical Aspects. Peter Y A Ryan Lorenzo Strigini. Outline
Challenges and Advances in E-voting Systems Technical and Socio-technical Aspects Peter Y A Ryan Lorenzo Strigini 1 Outline The problem. Voter-verifiability. Overview of Prêt à Voter. Resilience and socio-technical
Auditability and Verifiability of Elec4ons Ronald L. Rivest
Auditability and Verifiability of Elec4ons Ronald L. Rivest MIT ACM- IEEE talk March 16, 2016 Have we made progress since 2000? Hanging chads (2000) >>> Voting Machines at Risk (2015) Nov. 2016 Who Really
Arthur M. Keller, Ph.D. David Mertz, Ph.D.
Open Source Voting Arthur M. Keller, Ph.D. David Mertz, Ph.D. Outline Concept Fully Disclosed Voting Systems Open Source Voting Systems Existing Open Source Voting Systems Open Source Is Not Enough Barriers
Thoughts On Appropriate Technologies for Voting
Thoughts On Appropriate Technologies for Voting Ronald L. Rivest Viterbi Professor of EECS MIT, Cambridge, MA Princeton CITP E-voting Workshop 2012-11-01 Is Voting Keeping Up with Technology? We live in
Josh Benaloh. Senior Cryptographer Microsoft Research
Josh Benaloh Senior Cryptographer Microsoft Research September 6 2018 Findings and Recommendations The election equipment market and certification process are badly broken. We need better ways to incentivize
Cryptographic Voting Protocols: Taking Elections out of the Black Box
Cryptographic Voting Protocols: Taking Elections out of the Black Box Phong Le Department of Mathematics University of California, Irvine Mathfest 2009 Phong Le Cryptographic Voting 1/22 Problems with
COMPUTING SCIENCE. University of Newcastle upon Tyne. Pret a Voter with a Human-Readable, Paper Audit Trail. P. Y. A. Ryan. TECHNICAL REPORT SERIES
UNIVERSITY OF NEWCASTLE University of Newcastle upon Tyne COMPUTING SCIENCE Pret a Voter with a Human-Readable, Paper Audit Trail P. Y. A. Ryan. TECHNICAL REPORT SERIES No. CS-TR-1038 July, 2007 TECHNICAL
Human readable paper verification of Prêt à Voter
Human readable paper verification of Prêt à Voter David Lundin and Peter Y. A. Ryan d.lundin@surrey.ac.uk, University of Surrey, Guildford, UK peter.ryan@ncl.ac.uk, University of Newcastle upon Tyne, UK
Feng Hao and Peter Y A Ryan (Eds.) Real-World Electronic Voting: Design, Analysis and Deployment
Feng Hao and Peter Y A Ryan (Eds.) Real-World Electronic Voting: Design, Analysis and Deployment Contents Foreword.................................... xvii Preface.....................................
evoting after Nedap and Digital Pen
evoting after Nedap and Digital Pen Why cryptography does not fix the transparency issues Ulrich Wiesner 25C3, Berlin, 29 th December 2008 Agenda Why is evoting an issue? Physical copies, paper trail?
Swiss E-Voting Workshop 2010
Swiss E-Voting Workshop 2010 Verifiability in Remote Voting Systems September 2010 Jordi Puiggali VP Research & Development Jordi.Puiggali@scytl.com Index Auditability in e-voting Types of verifiability
A Verifiable Voting Protocol based on Farnel
A Verifiable Voting Protocol based on Farnel Roberto Araújo 1, Ricardo Felipe Custódio 2, and Jeroen van de Graaf 3 1 TU-Darmstadt, Hochschulstrasse 10, 64289 Darmstadt - Germany rsa@cdc.informatik.tu-darmstadt.de
Risk-Limiting Audits
Risk-Limiting Audits Ronald L. Rivest MIT NASEM Future of Voting December 7, 2017 Risk-Limiting Audits (RLAs) Assumptions What do they do? What do they not do? How do RLAs work? Extensions References (Assumption)
CHAPTER 2 LITERATURE REVIEW
19 CHAPTER 2 LITERATURE REVIEW This chapter presents a review of related works in the area of E- voting system. It also highlights some gaps which are required to be filled up in this respect. Chaum et
The usage of electronic voting is spreading because of the potential benefits of anonymity,
How to Improve Security in Electronic Voting? Abhishek Parakh and Subhash Kak Department of Electrical and Computer Engineering Louisiana State University, Baton Rouge, LA 70803 The usage of electronic
General Framework of Electronic Voting and Implementation thereof at National Elections in Estonia
State Electoral Office of Estonia General Framework of Electronic Voting and Implementation thereof at National Elections in Estonia Document: IVXV-ÜK-1.0 Date: 20 June 2017 Tallinn 2017 Annotation This
Addressing the Challenges of e-voting Through Crypto Design
Addressing the Challenges of e-voting Through Crypto Design Thomas Zacharias University of Edinburgh 29 November 2017 Scotland s Democratic Future: Exploring Electronic Voting Scottish Government and University
Punchscan: Introduction and System Definition of a High-Integrity Election System
Punchscan: Introduction and System Definition of a High-Integrity Election System Kevin Fisher, Richard Carback and Alan T. Sherman Center for Information Security and Assurance (CISA) Department of Computer
Voting Protocol. Bekir Arslan November 15, 2008
Voting Protocol Bekir Arslan November 15, 2008 1 Introduction Recently there have been many protocol proposals for electronic voting supporting verifiable receipts. Although these protocols have strong
A Secure Paper-Based Electronic Voting With No Encryption
A Secure Paper-Based Electronic Voting With No Encryption Asghar Tavakoly, Reza Ebrahimi Atani Department of Computer Engineering, Faculty of engineering, University of Guilan, P.O. Box 3756, Rasht, Iran.
AFFIDAVIT OF POORVI L. VORA. 1. My name is Poorvi L. Vora. I am a Professor of Computer Science at The George
AFFIDAVIT OF POORVI L. VORA POORVI L. VORA, being duly sworn, deposes and says the following under penalty of perjury: 1. My name is Poorvi L. Vora. I am a Professor of Computer Science at The George Washington
DIRECTIVE November 20, All County Boards of Elections Directors, Deputy Directors, and Board Members. Post-Election Audits SUMMARY
DIRECTIVE 2012-56 November 20, 2012 To: Re: All County Boards of Elections Directors, Deputy Directors, and Board Members Post-Election Audits SUMMARY In 2009, the previous administration entered into
The Effectiveness of Receipt-Based Attacks on ThreeBallot
The Effectiveness of Receipt-Based Attacks on ThreeBallot Kevin Henry, Douglas R. Stinson, Jiayuan Sui David R. Cheriton School of Computer Science University of Waterloo Waterloo, N, N2L 3G1, Canada {k2henry,
Towards Trustworthy e-voting using Paper Receipts
Towards Trustworthy e-voting using Paper Receipts Yunho Lee, Kwangwoo Lee, Seungjoo Kim, and Dongho Won Information Security Group, Sungkyunkwan University, 00 Cheoncheon-dong, Suwon-si, Gyeonggi-do, 0-76,
L9. Electronic Voting
L9. Electronic Voting Alice E. Fischer October 2, 2018 Voting... 1/27 Public Policy Voting Basics On-Site vs. Off-site Voting Voting... 2/27 Voting is a Public Policy Concern Voting... 3/27 Public elections
Brittle and Resilient Verifiable Voting Systems
Brittle and Resilient Verifiable Voting Systems Philip B. Stark Department of Statistics University of California, Berkeley Verifiable Voting Schemes Workshop: from Theory to Practice Interdisciplinary
Electronic Voting: An Electronic Voting Scheme using the Secure Payment card System Voke Augoye. Technical Report RHUL MA May 2013
Electronic Voting: An Electronic Voting Scheme using the Secure Payment card System Voke Augoye Technical Report RHUL MA 2013 10 01 May 2013 Information Security Group Royal Holloway, University of London
Risk-limiting Audits in Colorado
National Conference of State Legislatures The Future of Elections Williamsburg, VA June 15, 2015 Risk-limiting Audits in Colorado Dwight Shellman County Support Manager Colorado Department of State, Elections
IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY, VOL. 4, NO. 4, DECEMBER
IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY, VOL. 4, NO. 4, DECEMBER 2009 611 Scantegrity II: End-to-End Verifiability by Voters of Optical Scan Elections Through Confirmation Codes David Chaum,
Privacy of E-Voting (Internet Voting) Erman Ayday
Privacy of E-Voting (Internet Voting) Erman Ayday Security/Privacy of Elections Since there have been elections, there has been tampering with votes Archaeologists discovered a dumped stash of 190 broken
Ronald L. Rivest MIT CSAIL Warren D. Smith - CRV
G B + + B - Ballot Ballot Box Mixer Receipt ThreeBallot, VAV, and Twin Ronald L. Rivest MIT CSAIL Warren D. Smith - CRV Talk at EVT 07 (Boston) August 6, 2007 Outline End-to-end voting systems ThreeBallot
Split-Ballot Voting: Everlasting Privacy With Distributed Trust
Split-Ballot Voting: Everlasting Privacy With Distributed Trust TAL MORAN Weizmann Institute of Science, Israel and MONI NAOR Weizmann Institute of Science, Israel In this paper we propose a new voting
TECHNICAL REPORT SERIES. No. CS-TR-1071 February, Human readable paper verification of Pret a Voter. David Lundin and Peter Y. A. Ryan.
COMPUTING SCIENCE Human readable paper verification of Pret a Voter D. Lundin and P. Y. A. Ryan TECHNICAL REPORT SERIES No. CS-TR-1071 February, 2008 TECHNICAL REPORT SERIES No. CS-TR-1071 February, 2008
vvote: a Verifiable Voting System
vvote: a Verifiable Voting System arxiv:1404.6822v4 [cs.cr] 20 Sep 2015 Technical Report Version 4.0 Chris Culnane, Peter Y A Ryan, Steve Schneider and Vanessa Teague Contents Abstract 4 1. Introduction
Some Consequences of Paper Fingerprinting for Elections
Some Consequences of Paper Fingerprinting for Elections Joseph A. Calandrino *, William Clarkson *, and Edward W. Felten *, * Center for Information Technology Policy and Dept. of Computer Science, Princeton
Prêt à Voter with Confirmation Codes
Prêt à Voter with Confirmation Codes Peter Y A Ryan, Interdisciplinary Centre for Security and Trust and Dept. Computer Science and Communications University of Luxembourg peter.ryan@uni.lu Abstract A
Security Analysis on an Elementary E-Voting System
128 Security Analysis on an Elementary E-Voting System Xiangdong Li, Computer Systems Technology, NYC College of Technology, CUNY, Brooklyn, New York, USA Summary E-voting using RFID has many advantages
Electronic Voting. Mohammed Awad. Ernst L. Leiss
Electronic Voting Mohammed Awad Ernst L. Leiss coscel@cs.uh.edu Partially funded under NSF Grant #1241772 Any opinions, findings, conclusions, or recommendations expressed herein are those of the authors
Using Prêt à Voter in Victorian State Elections. EVT August 2012
Using Prêt à Voter in Victorian State Elections EVT August 2012 Craig Burton 1 Chris Culnane 2 James Heather 2 Thea Peacock 3 Peter Y. A. Ryan 3 Steve Schneider 2 Sriram Srinivasan 2 Vanessa Teague 4 Roland
STAR-Vote: A Secure, Transparent, Auditable, and Reliable Voting System
STAR-Vote: A Secure, Transparent, Auditable, and Reliable Voting System Susan Bell, Office of the Travis County Clerk Josh Benaloh, Microsoft Research Michael D. Byrne, Rice University Dana DeBeauvoir,
STATE OF NEW JERSEY. SENATE, No th LEGISLATURE
SENATE, No. STATE OF NEW JERSEY th LEGISLATURE INTRODUCED JANUARY, 0 Sponsored by: Senator NIA H. GILL District (Essex and Passaic) Senator SHIRLEY K. TURNER District (Hunterdon and Mercer) SYNOPSIS Requires
A vvote: a Verifiable Voting System
A vvote: a Verifiable Voting System Chris Culnane, Peter Y.A. Ryan, Steve Schneider and Vanessa Teague 1 1. INTRODUCTION This paper details a design for end-to-end verifiable voting in the Australian state
Colorado Secretary of State Election Rules [8 CCR ]
![Colorado Secretary of State Election Rules [8 CCR ]](/thumbs/78/78717657.jpg "Colorado Secretary of State Election Rules [8 CCR ]")
Rule 25. Post-election audit 25.1 Definitions. As used in this rule, unless stated otherwise: 25.1.1 Audit Center means the page or pages of the Secretary of State s website devoted to risk-limiting audits.
Towards a Standard Architecture for Digital Voting Systems - Defining a Generalized Ballot Schema
Towards a Standard Architecture for Digital Voting Systems - Defining a Generalized Ballot Schema Dermot Cochran IT University Technical Report Series TR-2015-189 ISSN 1600-6100 August 2015 Copyright 2015,
2010 Pre-election Logic and Accuracy & Post-election Audit Grant Program
2010 Pre-election Logic and Accuracy & Post-election Audit Grant Program Grant Recipient Program Summaries California Secretary of State; Sacramento, CA (Audit) Contact: Ms. Jennie Bretschneider Jennie.bretschneider@sos.ca.gov,
Secure Electronic Voting
Secure Electronic Voting Dr. Costas Lambrinoudakis Lecturer Dept. of Information and Communication Systems Engineering University of the Aegean Greece & e-vote Project, Technical Director European Commission,
Instructions for Closing the Polls and Reconciliation of Paper Ballots for Tabulation (Relevant Statutes Attached)
DIRECTIVE 2008-85 September 8, 2008 TO: RE: ALL COUNTY BOARDS OF ELECTIONS MEMBERS, DIRECTORS, AND DEPUTY DIRECTORS Instructions for Closing the Polls and Reconciliation of Paper Ballots for Tabulation
Machine-Assisted Election Auditing
Machine-Assisted Election Auditing Joseph A. Calandrino *, J. Alex Halderman *, and Edward W. Felten *, * Center for Information Technology Policy and Dept. of Computer Science, Princeton University Woodrow
The E-voting Controversy: What are the Risks?
Panel Session and Open Discussion Join us for a wide-ranging debate on electronic voting, its risks, and its potential impact on democracy. The E-voting Controversy: What are the Risks? Wednesday April
Colorado s Risk-Limiting Audits (RLA) CO Risk-Limiting Audits -- Feb Neal McBurnett
Colorado s Risk-Limiting Audits (RLA) CO Risk-Limiting Audits -- Feb 2018 -- Neal McBurnett Overview of the Journey Post-Election Audits are Important How Traditional Audits Work Why RLA is better Definitions
Every Vote Counts: Ensuring Integrity in Large-Scale DRE-based Electronic Voting
Every Vote Counts: Ensuring Integrity in Large-Scale DRE-based Electronic Voting Feng Hao School of Computing Science Newcastle University, UK feng.hao@ncl.ac.uk Matthew Nicolas Kreeger Thales Information
Introduction of Electronic Voting In Namibia
Use of ICT in Electoral Processes Introduction of Electronic Voting In Namibia Commissioner U. Freyer Electoral Commission of Namibia Praia, Cape Verde November 2017 1 Presentation Outline 1. Background
The name or number of the polling location; The number of ballots provided to or printed on-demand at the polling location;
Rule 10. Canvassing and Recount 10.1 Precanvass accounting 10.1.1 Detailed Ballot Log. The designated election official must keep a detailed ballot log that accounts for every ballot issued and received
Ad Hoc Voting on Mobile Devices
Ad Hoc Voting on Mobile Devices Manu Drijvers, Pedro Luz, Gergely Alpár and Wouter Lueks Institute for Computing and Information Sciences (icis), Radboud University Nijmegen, The Netherlands. May 20, 2013
Formal Verification of Selene with the Tamarin prover
Formal Verification of Selene with the Tamarin prover (E-Vote-ID - PhD Colloquium) Marie-Laure Zollinger Université du Luxembourg October 2, 2018 Marie-Laure Zollinger Formal Verification of Selene with
Prêt à Voter: a Systems Perspective
Prêt à Voter: a Systems Perspective Peter Y. A. Ryan and Thea Peacock September 20, 2005 Abstract Numerous cryptographic voting schemes have been proposed in recent years. Many of these have highly desirable
Global Conditions (applies to all components):
Conditions for Use ES&S The Testing Board would also recommend the following conditions for use of the voting system. These conditions are required to be in place should the Secretary approve for certification
PRIVACY in electronic voting
PRIVACY in electronic voting Michael Clarkson Cornell University Workshop on Foundations of Security and Privacy July 15, 2010 Secret Ballot Florida 2000: Bush v. Gore Flawless Security FAIL Analysis
Mitigating Coercion, Maximizing Confidence in Postal Elections
Mitigating Coercion, Maximizing Confidence in Postal Elections JACOB QUINN SHENKER, California Institute of Technology R. MICHAEL ALVAREZ, California Institute of Technology 1. INTRODUCTION Elections have
Summative Usability Assessments of STAR-Vote: A Cryptographically Secure e2e Voting System That Has Been Empirically Proven to Be Easy to Use
812586HFSXXX10.1177/0018720818812586Human FactorsUsability of Star-Voteresearch-article2018 Summative Usability Assessments of STAR-Vote: A Cryptographically Secure e2e Voting System That Has Been Empirically
CRYPTOGRAPHIC PROTOCOLS FOR TRANSPARENCY AND AUDITABILITY IN REMOTE ELECTRONIC VOTING SCHEMES
Scytl s Presentation CRYPTOGRAPHIC PROTOCOLS FOR TRANSPARENCY AND AUDITABILITY IN REMOTE ELECTRONIC VOTING SCHEMES Spain Cryptography Days (SCD 2011) Department of Mathematics Seminar Sandra Guasch Researcher
FULL-FACE TOUCH-SCREEN VOTING SYSTEM VOTE-TRAKKER EVC308-SPR-FF
FULL-FACE TOUCH-SCREEN VOTING SYSTEM VOTE-TRAKKER EVC308-SPR-FF VOTE-TRAKKER EVC308-SPR-FF is a patent-pending full-face touch-screen option of the error-free standard VOTE-TRAKKER EVC308-SPR system. It
1S Recount Procedures. (1) Definitions. As used in this rule, the term: (a) Ballot text image means an electronic text record of the content of
1S-2.031 Recount Procedures. (1) Definitions. As used in this rule, the term: (a) Ballot text image means an electronic text record of the content of a touchscreen ballot cast by a voter and recorded by
Distributed Protocols at the Rescue for Trustworthy Online Voting
Distributed Protocols at the Rescue for Trustworthy Online Voting ICISSP 2017 in Porto Robert Riemann, Stéphane Grumbach Inria Rhône-Alpes, Lyon 19th February 2017 Outline 1 Voting in the Digital Age 2
(1) PURPOSE. To establish minimum security standards for voting systems pursuant to Section (4), F.S.
1S-2.015 Minimum Security Procedures for Voting Systems. (1) PURPOSE. To establish minimum security standards for voting systems pursuant to Section 101.015(4), F.S. (2) DEFINITIONS. The following words
L14. Electronic Voting
L14. Electronic Voting Alice E. Fischer October 28, 2014 Voting... 1/14 What is all the fuss about? Voting Systems Public Voting is Different On-Site and Off-site Voting Voting... 2/14 What is all the
Trusted Logic Voting Systems with OASIS EML 4.0 (Election Markup Language)
April 27, 2005 http://www.oasis-open.org Trusted Logic Voting Systems with OASIS EML 4.0 (Election Markup Language) Presenter: David RR Webber Chair OASIS CAM TC http://drrw.net Contents Trusted Logic
Scantegrity II Municipal Election at Takoma Park: The First E2E Binding Governmental Election with Ballot Privacy
Scantegrity II Municipal Election at Takoma Park: The First E2E Binding Governmental Election with Ballot Privacy Richard Carback UMBC CDL Baltimore, MD 21250 carback1@umbc.edu John Conway UMBC CDL Baltimore,
Direct Recording Electronic Voting Machines
Direct Recording Electronic Voting Machines This Act sets standards for direct recording electronic voting machines (DREs). As of July 1, 2005, DREs must, among other things: produce a voter-verified paper
Paper-based electronic voting
Paper-based electronic voting Anna Solveig Julia Testaniere Master of Science in Mathematics Submission date: December 2015 Supervisor: Kristian Gjøsteen, MATH Norwegian University of Science and Technology
Requiring Software Independence in VVSG 2007: STS Recommendations for the TGDC
Requiring Software Independence in VVSG 2007: STS Recommendations for the TGDC William Burr, John Kelsey, Rene Peralta, John Wack National Institute of Standards and Technology November 2006 Acronyms and
HOUSE BILL 1060 A BILL ENTITLED. Election Law Delay in Replacement of Voting Systems
HOUSE BILL 0 B, G, L EMERGENCY BILL 0lr0 HB /0 W&M CF SB By: Delegates Eckardt, Cane, Costa, Elliott, Elmore, Haddaway, Jenkins, Krebs, O Donnell, Schuh, Shank, Smigiel, Sossi, and Stocksdale Introduced
Towards Secure Quadratic Voting
Towards Secure Quadratic Voting Sunoo Park Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology Cambridge, MA 02139 sunoo@mit.edu Ronald L. Rivest Computer Science
ThreeBallot in the Field
ThreeBallot in the Field Harvey Jones, Jason Juang, Greg Belote Instructor: Ronald L. Rivest December 13, 2006 Abstract Voting systems have been the subject of much recent controversy. Due to the difficulty
Elections, Technology, and the Pursuit of Integrity: the Connecticut Landscape
Elections, Technology, and the Pursuit of Integrity: the Connecticut Landscape Theodore Bromley 1 Peggy Reeves 2 Alexander Shvartsman 3 Abstract Transition from lever voting machines to electronic voting
On the Independent Verification of a Punchscan Election
On the Independent Verification of a Punchscan Election Richard T. Carback III Center for Information Security and Assurance, University of Maryland, Balitmore County. carback1@umbc.edu Jeremy Clark School
Michigan Election Reform Alliance P.O. Box Ypsilanti, MI
Michigan Election Reform Alliance P.O. Box 981246 Ypsilanti, MI 48198-1246 HTTP://WWW.LAPN.NET/MERA/ October 6, 2006 Affiliate Dear County Election Commission member, The Michigan Election Reform Alliance
STAR-Vote: A Secure, Transparent, Auditable, and Reliable Voting System
STAR-Vote: A Secure, Transparent, Auditable, and Reliable Voting System Josh Benaloh (Microsoft Research) Mike Byrne (Rice University) Bryce Eakin (independent consultant) Philip Kortum (Rice University)
Johns Hopkins University Security Privacy Applied Research Lab
Johns Hopkins University Security Privacy Applied Research Lab Protecting Against Privacy Compromise and Ballot Stuffing by Eliminating Non-Determinism from End-to-end Voting Schemes Technical Report SPAR-JHU:RG-SG-AR:245631
福井大学審査 学位論文 博士 ( 工学 )
福井大学審査 学位論文 博士 ( 工学 A Dissertation Submitted to the University of Fukui for Degree of Doctor of Engineering A Scheme for Electronic Voting Systems 電子投票システムの研究 カジムハマドロキブル Kazi Md. Rokibul アラム Alam 2010
Outline. Elections as a challenge problem. History of (US) election mechanisms. Secrecy, vote buying and coercion. Election integrity
Outline CSci 5271 Introduction to Computer Security Day 12: Electronic voting Stephen McCamant University of Minnesota, Computer Science & Engineering Elections as a challenge problem Elections require
SPECIAL VOTE BY MAIL PROCEDURES. City of London 2018 Municipal Election
SPECIAL VOTE BY MAIL City of London 2018 Municipal Election Table of Contents 1. DEFINITIONS... 2 2. APPLICATION OF THIS PROCEDURE... 4 3. ELECTION OFFICIALS... 5 4. VOTING SUBDIVISIONS... 5 5. BALLOTS...
Good morning. I am Don Norris, Professor of Public Policy and Director of the
Testimony of Donald F. Norris before the U. S. House of Representatives Committee on House Administration, Subcommittee on Elections Friday, March 23, 2007 Madam Chairperson and members of the Committee,
Design and Prototype of a Coercion-Resistant, Voter Verifiable Electronic Voting System
29 Design and Prototype of a Coercion-Resistant, Voter Verifiable Electronic Voting System Anna M. Shubina Department of Computer Science Dartmouth College Hanover, NH 03755 E-mail: ashubina@cs.dartmouth.edu
Cuyahoga County Board of Elections
Cuyahoga County Board of Elections Hearing on the EVEREST Review of Ohio s Voting Systems and Secretary of State Brunner s Related Recommendations for Cuyahoga County Comment of Lawrence D. Norden Director
On e-voting and privacy
On e-voting and privacy Jan Willemson UT,Cybernetica On e-voting and privacy p. 1 What is e-voting?? A citizen sits in front of his computer, On e-voting and privacy p. 2 What is e-voting?? A citizen sits
Pennsylvania Needs Resilient, Evidence-Based Elections
Pennsylvania Needs Resilient, Evidence-Based Elections Written Testimony Prepared For Pennsylvania Senate State Government Hearing September 25, 2018 Citizens for Better Elections and SAVE Bucks Votes
Privacy Issues in an Electronic Voting Machine
Privacy Issues in an Arthur M. Keller UC Santa Cruz and Open Voting Consortium David Mertz Gnosis Software Joseph Lorenzo Hall UC Berkeley Arnold Urken Stevens Institute of Technology Outline Secret ballot
Automating Voting Terminal Event Log Analysis
VoTeR Center University of Connecticut Automating Voting Terminal Event Log Analysis Tigran Antonyan, Seda Davtyan, Sotirios Kentros, Aggelos Kiayias, Laurent Michel, Nicolas Nicolaou, Alexander Russell,
OSCE Parliamentary Assembly Post-Election Statement U.S. General Elections 6 November 2008
OSCE Parliamentary Assembly Post-Election Statement U.S. General Elections 6 November 2008 Conclusions The U.S. elections on 4 November 2008 were a convincing demonstration of the country s commitment
An untraceable, universally verifiable voting scheme
An untraceable, universally verifiable voting scheme Michael J. Radwin December 12, 1995 Seminar in Cryptology Professor Phil Klein Abstract Recent electronic voting schemes have shown the ability to protect
Risk-Limiting Audits for Denmark and Mongolia
Risk-Limiting Audits for Denmark and Mongolia Philip B. Stark Department of Statistics University of California, Berkeley IT University of Copenhagen Copenhagen, Denmark 24 May 2014 Joint work with Carsten
Individual Verifiability in Electronic Voting
Individual Verifiability in Electronic Voting Sandra Guasch Castelló Universitat Politècnica de Catalunya Supervisor: Paz Morillo Bosch 2 Contents Acknowledgements 7 Preface 9 1 Introduction 11 1.1 Requirements
Ballot Reconciliation Procedure Guide
Ballot Reconciliation Procedure Guide One of the most important distinctions between the vote verification system employed by the Open Voting Consortium and that of the papertrail systems proposed by most
An Examination of Vote Verification Technologies: Findings and Experiences from the Maryland Study 1
An Examination of Vote Verification Technologies: Findings and Experiences from the Maryland Study 1 April 15, 2006 Alan T. Sherman*, Aryya Gangopadhyay, Stephen H. Holden, George Karabatis, A. Gunes Koru,