An Introduction to Cryptographic Voting Systems
|
|
- Hillary Cooper
- 5 years ago
- Views:
Transcription
1 Kickoff Meeting E-Voting Seminar An Introduction to Cryptographic Voting Systems Andreas Steffen Hochschule für Technik Rapperswil A. Steffen, , Kickoff.pptx 1
2 Cryptographic Voting Systems Summary: 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. Even more uncertain is electronic voting over the Internet which is potentially prone to coercion and vote-selling (this doesn t seem to be an issue in Switzerland). 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, , Kickoff.pptx 2
3 E-Voting in my home town Schlieren Hidden PIN Internet-based voting does not have to be more secure as voting per snail mail Justice Department of the Canton of Zurich A. Steffen, , Kickoff.pptx 3
4 [In]Security Features??? Protection from Man-in-the-Middle attacks A. Steffen, , Kickoff.pptx 4
5 E-Voting Website A. Steffen, , Kickoff.pptx 5
6 Voter Login A. Steffen, , Kickoff.pptx 6
7 Ballot (PHP Form) A. Steffen, , Kickoff.pptx 7
8 E-Voting in my home town Schlieren PIN A. Steffen, , Kickoff.pptx 8
9 Voter Authentication A. Steffen, , Kickoff.pptx 9
10 Transmission Receipt A. Steffen, , Kickoff.pptx 10
11 Conclusion So what? You are not allowed to know. The exact transaction processing is kept secret due to security reasons Justice Department of the Canton of Zurich A. Steffen, , Kickoff.pptx 11
12 Traditional Chain-of-Custody Security Sealing Software Verification Tallying Verification by proxy only Source: Ben Adida, Ph.D. Thesis 2006 A. Steffen, , Kickoff.pptx 12
13 Desirable: End-to-End Verification by Voter Secrecy? Privacy? Source: Ben Adida, Ph.D. Thesis 2006 A. Steffen, , Kickoff.pptx 13
14 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, , Kickoff.pptx 14
15 Solution: Cryptographic Voting Systems Mixnet A B C Threshold Decryption A B C ElGamal / Paillier Tamper-Proof Bulletin Board Homomorphic Tallying Source: Ben Adida, Ph.D. Thesis 2006 A. Steffen, , Kickoff.pptx 15
16 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) Helios by Ben Adida ( Selectio Helvetica by BFH ( Primevote by MSE graduates Christoph Galliker and Halm Reusser ( A. Steffen, , Kickoff.pptx 16
17 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, , Kickoff.pptx 17
18 E-Voting Literature and Simulators Collection of MSE E-Voting seminar papers E-Voting Simulator based on the Paillier Cryptosystem E-Voting Simulator on the Damgard-Jurik Cryptosystem Generalized Paillier, reduces to Paillier Cryptosystem with s = 1 Threshold Decryption with Distributed Keys issued by Trusted Dealer Assume generator g = n+1 ( = 1, = 1) The Paillier Cryptosystem, presented at the BFH E-Voting seminar A. Steffen, , Kickoff.pptx 18
19 E-Voting Seminar Project Verifiable E-Voting System for Shareholder Meetings. Example: Novartis AG with shares Item 1: Approval of the Annual Report and Financial Statements yes / no / abstention (32 bit field per option) Voter 1 Voter 2 Voter 3 Voter 4 Voter 5 Voter 6 Voter 7 Voter 8 Voter 9 Voter 10 Total shares shares shares shares shares shares shares shares shares shares shares A. Steffen, , Kickoff.pptx 19
20 E-Voting Seminar Project Tasks keysize, N, T Threshold Key Generation by Trusted Dealer 1 protected channel Partial Private Key i=1, Partial N, Private T, d, n Key i=n, N, T, d, n Paillier Cryptosystem keysize = 1536 bits V=10, N=5, T=3 Public Key n, g=n+1 Ballot Encrypt. 2 and ZKP by Voter v Encrypted Ballot v=1, Encrypted c, a[], Ballot e[], z[] v=v, c, a[], e[], z[] Partial Decrypt. by Trustee i Encrypted Tally ct ZKP Check 3 Weighted Tallying Shareholder Registry v[], w[] 4 Partiallly Decr. Tally i=1, Partial N, Private T, pt, n Key i=n, N, T, pt, n Threshold Decryption Decrypted Tally yes, no, abstention 5 A. Steffen, , Kickoff.pptx 20
21 Conditions Goal: Restrict effort spent on project to 90 working hours (3 ECTS) Programming or scripting language: Arbitrary Program code without whistles and bells! No GUI required, may be a command line program. I/O Format: JSON Big numbers encoded as hexadecimal strings {"v":1,"c":"2fe698..daf57e"} Details of interface specification to be settled among tasks Deliverables: Commented program code and final test run data Slides of final presentation A. Steffen, , Kickoff.pptx 21
An Overview on Cryptographic Voting Systems
ISI Day 20th Anniversary An Overview on Cryptographic Voting Systems Prof. Andreas Steffen University of Applied Sciences Rapperswil andreas.steffen@hsr.ch A. Steffen, 19.11.2008, QUT-ISI-Day.ppt 1 Where
More informationAccessible 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
More informationPrê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,
More informationJosh 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
More informationAddressing 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
More informationPrivacy 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
More informationOn 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
More informationChallenges 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
More informationAuditability 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
More informationThoughts 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
More informationGeneral 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
More informationCHAPTER 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
More informationSecurity 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
More informationArthur 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
More informationCOMPUTING 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
More informationA 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.
More informationevoting 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?
More informationA 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
More informationInt. J. of Security and Networks, Vol. x, No. x, 201X 1, Vol. x, No. x, 201X 1
Int. J. of Security and Networks, Vol. x, No. x, 201X 1, Vol. x, No. x, 201X 1 Receipt-Freeness and Coercion Resistance in Remote E-Voting Systems Yefeng Ruan Department of Computer and Information Science,
More informationCRYPTOGRAPHIC 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
More informationSecure 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,
More informationAd 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
More informationFeng 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.....................................
More informationHuman 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
More informationSwiss 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
More informationVoting 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
More information福井大学審査 学位論文 博士 ( 工学 )
福井大学審査 学位論文 博士 ( 工学 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
More informationNetvote: A Blockchain Voting Protocol
Netvote: A Blockchain Voting Protocol Technical White Paper Jonathan Alexander Steven Landers Ben Howerton jalexander@netvote.io steven@netvote.io ben@netvote.io June 22, 2018 Version 1.12 Abstract This
More informationRonald 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
More informationSplit-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
More informationUnion Elections. Online Voting. for Credit. Helping increase voter turnout & provide accessible, efficient and secure election processes.
Online Voting for Credit Union Elections Helping increase voter turnout & provide accessible, efficient and secure election processes. In a time of cyber-security awareness, Federal Credit Unions and other
More informationTECHNICAL 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
More informationTowards 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,
More informationCOMPUTING 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
More informationCryptographic 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
More informationPRIVACY PRESERVING IN ELECTRONIC VOTING
PRIVACY PRESERVING IN ELECTRONIC VOTING Abstract Ai Thao Nguyen Thi 1 and Tran Khanh Dang 2 1,2 Faculty of Computer Science and Engineering, HCMC University of Technology 268 Ly Thuong Kiet Street, District
More informationOn Some Incompatible Properties of Voting Schemes
This paper appears in Towards Trustworthy Elections D. Chaum, R. Rivest, M. Jakobsson, B. Schoenmakers, P. Ryan, and J. Benaloh Eds., Springer-Verlag, LNCS 6000, pages 191 199. On Some Incompatible Properties
More informationElectronic 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
More informationPRIVACY 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
More informationEvery 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
More informationThe USENIX Journal of Election Technology and Systems. Volume 2, Number 3 July 2014
JETS The USENIX Journal of Election Technology and Systems JETS The USENIX Journal of Election Technology and Systems Every Vote Counts: Ensuring Integrity in Large-Scale Electronic Voting1 Feng Hao, Newcastle
More informationDistributed 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
More informationUsing 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
More informationStatement on Security & Auditability
Statement on Security & Auditability Introduction This document is designed to assist Hart customers by providing key facts and support in preparation for the upcoming November 2016 election cycle. It
More informationIEEE 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,
More informationBrittle 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
More informationSecure Electronic Voting: New trends, new threats, new options. Dimitris Gritzalis
Secure Electronic Voting: New trends, new threats, new options Dimitris Gritzalis 7 th Computer Security Incidents Response Teams Workshop Syros, Greece, September 2003 Secure Electronic Voting: New trends,
More informationMitigating 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
More informationSecurity 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
More informationAFFIDAVIT 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
More informationPunchscan: 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
More informationAn Object-Oriented Framework for Digital Voting
An Object-Oriented Framework for Digital Voting Patricia Dousseau Cabral Graduate Program in Computer Science Federal University of Santa Catarina UFSC Florianópolis, Brazil dousseau@inf.ufsc.br Ricardo
More informationSelectio Helvetica: A Verifiable Internet Voting System
Selectio Helvetica: A Verifiable Internet Voting System Eric Dubuis*, Stephan Fischli*, Rolf Haenni*, Uwe Serdült**, Oliver Spycher*** * Bern University of Applied Sciences, CH-2501 Biel, Switzerland,
More informationTowards 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,
More informationSpeakUp: remote unsupervised voting
SpeakUp: remote unsupervised voting Stefan Popoveniuc KT Consulting stefan@popoveniuc.com Abstract. We present SpeakUp, a novel way to cast a ballot remotely, using a personal computer connected to the
More informationA Robust Electronic Voting Scheme Against Side Channel Attack
JOURNAL OF INFORMATION SCIENCE AND ENGINEERING, 7-86 (06) A Robust Electronic Voting Scheme Against Side Channel Attack YI-NING LIU, WEI GUO HI CHENG HINGFANG HSU, JUN-YAN QIAN AND CHANG-LU LIN Guangxi
More informationThe 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
More informationDesign of Distributed Voting Systems
arxiv:1702.02566v1 [cs.cr] 8 Feb 2017 Design of Distributed Voting Systems Masterarbeit von Christian Meter aus Remscheid vorgelegt am Lehrstuhl für Rechnernetze und Kommunikationssysteme Prof. Dr. Martin
More informationPrê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
More informationElectronic 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
More informationSummative 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
More informationL9. 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
More informationThe 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,
More informationA MULTIPLE BALLOTS ELECTION SCHEME USING ANONYMOUS DISTRIBUTION
A MULTIPLE BALLOTS ELECTION SCHEME USING ANONYMOUS DISTRIBUTION Manabu Okamoto 1 1 Kanagawa Institute of Technology 1030 Shimo-Ogino, Atsugi, Kanagawa 243-0292, Japan manabu@nw.kanagawa-it.ac.jp ABSTRACT
More informationBallot 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
More informationPaper-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
More informationThreeBallot 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
More informationFormal 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
More informationRisk-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)
More informationAn 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
More informationJohns 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
More informationThis is a repository copy of Verifiable Classroom Voting in Practice.
This is a repository copy of Verifiable Classroom Voting in Practice. White Rose Research Online URL for this paper: http://eprints.whiterose.ac.uk/117987/ Version: Accepted Version Article: Hao, Feng,
More informationA 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
More informationTowards 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
More informationBlind Signatures in Electronic Voting Systems
Blind Signatures in Electronic Voting Systems Marcin Kucharczyk Silesian University of Technology, Institute of Electronics, ul. Akademicka 16, 44-100 Gliwice, Poland marcin.kuchraczyk@polsl.pl Abstract.
More informationOn 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
More informationSTAR-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,
More informationarxiv: v3 [cs.cr] 3 Nov 2018
Exploiting re-voting in the Helios election system Maxime Meyer a, Ben Smyth b arxiv:1612.04099v3 [cs.cr] 3 Nov 2018 Abstract a Vade Secure Technology Inc., Montreal, Canada b Interdisciplinary Centre
More informationSurvey of Fully Verifiable Voting Cryptoschemes
Survey of Fully Verifiable Voting Cryptoschemes Brandon Carter, Ken Leidal, Devin Neal, Zachary Neely Massachusetts Institute of Technology [bcarter, kkleidal, devneal, zrneely]@mit.edu 6.857 Final Project
More informationCoin-Vote. Abstract: Version 0.1 Sunday, 21 June, Year 7 funkenstein the dwarf
Coin-Vote Version 0.1 Sunday, 21 June, Year 7 funkenstein the dwarf Abstract: Coin-vote is a voting system for establishing opinion and resolving disputes amongst willing participants. Rather than using
More informationRECEIPT-FREE UNIVERSALLY-VERIFIABLE VOTING WITH EVERLASTING PRIVACY
RECEIPT-FREE UNIVERSALLY-VERIFIABLE VOTING WITH EVERLASTING PRIVACY TAL MORAN AND MONI NAOR Abstract. We present the first universally verifiable voting scheme that can be based on a general assumption
More informationvvote: 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
More informationSecure and Reliable Electronic Voting. Dimitris Gritzalis
Secure and Reliable Electronic Voting Dimitris Gritzalis Secure and Reliable Electronic Voting Associate Professor Dimitris Gritzalis Dept. of Informatics Athens University of Economics & Business & e-vote
More informationReceipt-Free Universally-Verifiable Voting With Everlasting Privacy
Receipt-Free Universally-Verifiable Voting With Everlasting Privacy Tal Moran 1 and Moni Naor 1 Department of Computer Science and Applied Mathematics, Weizmann Institute of Science, Rehovot, Israel Abstract.
More informationPretty Good Democracy for more expressive voting schemes
Pretty Good Democracy for more expressive voting schemes James Heather 1, Peter Y A Ryan 2, and Vanessa Teague 3 1 Department of Computing, University of Surrey, Guildford, Surrey GU2 7XH, UK j.heather@surrey.ac.uk
More informationIndividual 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
More informationElecting a University President using Open-Audit Voting: Analysis of real-world use of Helios
Electing a University President using Open-Audit Voting: Analysis of real-world use of Helios Ben Adida Harvard University ben adida@harvard.edu Olivier Pereira Université catholique de Louvain olivier.pereira@uclouvain.be
More informationExact, Efficient and Information-Theoretically Secure Voting with an Arbitrary Number of Cheaters
Exact, Efficient and Information-Theoretically Secure Voting with an Arbitrary Number of Cheaters Anne Broadbent 1, 2 Stacey Jeffery 1, 2 Alain Tapp 3 1. Department of Combinatorics and Optimization, University
More informationResponse to the Scottish Government s Consultation on Electoral Reform
Response to the Scottish Government s Consultation on Electoral Reform By Dr John Ault and Alex Ollington 12 th March 2018 1 Introduction Democracy Volunteers is the UK s leading domestic election observation
More informationPrê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
More informationCitizen engagement and compliance with the legal, technical and operational measures in ivoting
Citizen engagement and compliance with the legal, technical and operational measures in ivoting Michel Chevallier Geneva State Chancellery Setting the stage Turnout is low in many modern democracies Does
More informationPrivacy 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
More informationSecure Voter Registration and Eligibility Checking for Nigerian Elections
Secure Voter Registration and Eligibility Checking for Nigerian Elections Nicholas Akinyokun Second International Joint Conference on Electronic Voting (E-Vote-ID 2017) Bregenz, Austria October 24, 2017
More informationDesign 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
More informationSEMINAR WORK: E- ELECTIONS AND E- VOTING - THE CASE OF SWITZERLAND AND FRANCE
SEMINAR WORK: E- ELECTIONS AND E- VOTING - THE CASE OF SWITZERLAND AND FRANCE STUDENT NAME: Adrian Dulaj STUDENT NUMBER: 09 336 595 COURSE NAME: Masters in European Business DEPARTMENT: Department of SES
More informationKey Considerations for Implementing Bodies and Oversight Actors
Implementing and Overseeing Electronic Voting and Counting Technologies Key Considerations for Implementing Bodies and Oversight Actors Lead Authors Ben Goldsmith Holly Ruthrauff This publication is made
More informationSecure Electronic Voting: Capabilities and Limitations. Dimitris Gritzalis
Secure Electronic Voting: Capabilities and Limitations Dimitris Gritzalis Secure Electronic Voting: Capabilities and Limitations 14 th European Forum on IT Security Paris, France, 2003 Prof. Dr. Dimitris
More informationThe 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
More informationBetween Law and Technology: Internet Voting, Secret Suffrage and the European Electoral Heritage
Between Law and Technology: Internet Voting, Secret Suffrage and the European Electoral Heritage Adrià Rodríguez-Pérez Scytl Secure Electronic Voting, S.A. adria.rodriguez@scytl.com October 2017 2 3 4
More informationSupporting Debates over Citizen Initiatives
Supporting Debates over Citizen Initiatives Kishore R. Kattamuri and Marius C. Silaghi Florida Institute of Techology {kattamuk,msilaghi}@fit.edu January 26, 2005 Technical Report CS-2005-3 Abstract Popular/citizen
More information