Electronic Voting: 5th International Joint Conference, E-Vote-ID 2020, Bregenz, Austria, October 6–9, 2020, Proceedings PDF
Preview Electronic Voting: 5th International Joint Conference, E-Vote-ID 2020, Bregenz, Austria, October 6–9, 2020, Proceedings
Robert Krimmer · Melanie Volkamer · Bernhard Beckert · Ralf Küsters · Oksana Kulyk · David Duenas-Cid · Mikhel Solvak (Eds.) 5 5 4 2 1 S Electronic Voting C N L 5th International Joint Conference, E-Vote-ID 2020 Bregenz, Austria, October 6–9, 2020 Proceedings Lecture Notes in Computer Science 12455 Founding Editors Gerhard Goos Karlsruhe Institute of Technology, Karlsruhe, Germany Juris Hartmanis Cornell University, Ithaca, NY, USA Editorial Board Members Elisa Bertino Purdue University, West Lafayette, IN, USA Wen Gao Peking University, Beijing, China Bernhard Steffen TU Dortmund University, Dortmund, Germany Gerhard Woeginger RWTH Aachen, Aachen, Germany Moti Yung Columbia University, New York, NY, USA More information about this series at http://www.springer.com/series/7410 Robert Krimmer Melanie Volkamer (cid:129) (cid:129) ü Bernhard Beckert Ralf K sters (cid:129) (cid:129) Oksana Kulyk David Duenas-Cid (cid:129) (cid:129) Mikhel Solvak (Eds.) Electronic Voting 5th International Joint Conference, E-Vote-ID 2020 – Bregenz, Austria, October 6 9, 2020 Proceedings 123 Editors RobertKrimmer Melanie Volkamer Tallinn University of Technology Karlsruhe Institute of Technology Tallinn, Estonia Karlsruhe, Baden-Württemberg, Germany TartuUniversity Ralf Küsters Tartu, Estonia University of Stuttgart Stuttgart, Germany Bernhard Beckert Karlsruhe Institute of Technology (KIT) DavidDuenas-Cid Karlsruhe, Baden-Württemberg, Germany Tallinn University of Technology Oksana Kulyk Tallinn, Estonia University of Copenhagen Kozminski University Copenhagen, Denmark Warsaw,Poland Mikhel Solvak University of Tartu Tartu, Estonia ISSN 0302-9743 ISSN 1611-3349 (electronic) Lecture Notesin Computer Science ISBN 978-3-030-60346-5 ISBN978-3-030-60347-2 (eBook) https://doi.org/10.1007/978-3-030-60347-2 LNCSSublibrary:SL4–SecurityandCryptology ©SpringerNatureSwitzerlandAG2020 Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpartofthe material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodologynow knownorhereafterdeveloped. Theuseofgeneraldescriptivenames,registerednames,trademarks,servicemarks,etc.inthispublication doesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevant protectivelawsandregulationsandthereforefreeforgeneraluse. Thepublisher,theauthorsandtheeditorsaresafetoassumethattheadviceandinformationinthisbookare believedtobetrueandaccurateatthedateofpublication.Neitherthepublishernortheauthorsortheeditors give a warranty, expressed or implied, with respect to the material contained herein or for any errors or omissionsthatmayhavebeenmade.Thepublisherremainsneutralwithregardtojurisdictionalclaimsin publishedmapsandinstitutionalaffiliations. ThisSpringerimprintispublishedbytheregisteredcompanySpringerNatureSwitzerlandAG Theregisteredcompanyaddressis:Gewerbestrasse11,6330Cham,Switzerland Preface This volume contains papers presented at the 5th International Joint Conference on Electronic Voting (E-Vote-ID 2020), held during October 6–9, 2020. Due to the extraordinarysituationprovokedbytheCOVID-19pandemic,theconferencewasheld online during this edition, instead of at the traditional venue in Bregenz, Austria. The E-Vote-ID conference resulted from the merging of EVOTE and Vote-ID, and now totaling16 years since the first E-Vote conferenceinAustria.Since that conferencein 2004, over 1,000 experts have attended the venue, including scholars, practitioners, authorities, electoral managers, vendors, and PhD students. The conference collected the most relevant debates on the development of electronic voting, from aspects relating to security and usability through to practical experiences and applications of votingsystems,also including legal,social,orpolitical aspects, among others; turning out to be an important global referent in relation to this issue. This year, the conference also consisted of the following tracks and sessions: (cid:129) Security, Usability and Technical Issues Track (cid:129) Administrative, Legal, Political and Social Issues Track (cid:129) Election and Practical Experiences Track (cid:129) PhDColloquium,PosterandDemoSession(heldonthedaybeforetheconference) E-Vote-ID 2020received 55 submissions, each ofthem being reviewed by three to fiveProgramCommitteemembers,usingadouble-blindreviewprocess.Asaresult,14 papers were accepted for this volume, representing 25% of the submitted proposals. The selected papers cover a wide range of topics connected to electronic voting, including experiences and revisions of the real uses of e-voting systems and corre- sponding processes in elections. We would also like to thank the German Informatics Society (Gesellschaft für Informatik) with its ECOM working group, and KASTEL for their partnership over many years. Further we would like to thank the Swiss Federal Chancellery for their kind support. Special thanks go to the members of the International Program Committeefortheirhardworkinreviewing,discussing,andshepherdingpapers.They ensured the high quality of these proceedings with their knowledge and experience. We are also thankful for the financial support receive through the European Union (H2020 Research and Innovation Programme, Grant Agreement No 857622). October 2020 Robert Krimmer Melanie Volkamer Organization Program Committee Marta Aranyossy Corvinus University of Budapest, Hungary Jordi Barrat i Esteve eVoting Legal Lab, Spain Bernhard Beckert Karlsruhe Institute of Technology, Germany Josh Benaloh Microsoft, USA Matthew Bernhard University of Michigan, USA Nadja Braun Binder University of Zurich, Switzerland Veronique Cortier CNRS, Loria, France Staffan Darnolf IFES, Sweden David Duenas-Cid Tallinn University of Technology, Estonia and Kozminski University, Poland Helen Eenmaa-Dimitrieva University of Tartu, Estonia Aleksander Essex University of Western Ontario, Canada Micha Germann University of Bath, UK J. Paul Gibson Mines Télécom, France Rosario Giustolisi IT University of Copenhagen, Denmark Kristian Gjøsteen Norwegian University of Science and Technology, Norway Nicole Goodman University of Toronto, Canada Rajeev Gore The Australian National University, Australia Ruediger Grimm University of Koblenz, Germany Rolf Haenni Bern University of Applied Sciences, Switzerland Thomas Haines Queensland University of Technology, Australia Toby James University of East Anglia, UK Robert Krimmer University of Tartu and Tallinn University of Technology, Estonia Ralf Kuesters University of Stuttgart, Germany Oksana Kulyk IT University of Copenhagen, Denmark Johannes Mueller University of Luxembourg, Luxembourg Magdalena Musial-Karg Adam Mickiewicz University, Poland Andras Nemeslaki BME, Hungary Stephan Neumann Landesbank Saar, Germany Hannu Nurmi University of Turku, Finland Jon Pammett Carleton University, Canada Olivier Pereira UCLouvain, Belgium Josep Mª Reniu University of Barcelona, Spain Peter Roenne SnT, University of Luxembourg, Luxembourg Mark Ryan University of Birmingham, UK P. Y. A. Ryan University of Luxembourg, Luxembourg viii Organization Peter Sasvari National University of Public Service, Hungary Steve Schneider University of Surrey, UK Berry Schoenmakers EindhovenUniversityofTechnology,TheNetherlands Carsten Schuermann IT University of Copenhagen, Denmark Uwe Serdült CentreforResearchonDirectDemocracy,Switzerland Delfina Soares University of Minho, Portugal Mihkel Solvak University of Tartu, Estonia Philip Stark University of California, Berkeley, USA Vanessa Teague Thinking Cybersecurity, Australia Tomasz Truderung University of Trier, Germany Priit Vinkel State Electoral Office of Estonia, Estonia Melanie Volkamer Karlsruhe Institute of Technology, Germany Roland Wen The University of New South Wales, Australia Jan Willemson Cybernetica, Estonia Contents Shifting the Balance-of-Power in STV Elections. . . . . . . . . . . . . . . . . . . . . 1 Michelle Blom, Andrew Conway, Peter J. Stuckey, and Vanessa J. Teague Random Errors Are Not Necessarily Politically Neutral . . . . . . . . . . . . . . . . 19 Michelle Blom, Andrew Conway, Peter J. Stuckey, Vanessa J. Teague, and Damjan Vukcevic Tripped at the Finishing Line: The Åland Islands Internet Voting Project. . . . 36 David Duenas-Cid, Iuliia Krivonosova, Radu Serrano, Marlon Freire, and Robert Krimmer Revisiting Practical and Usable Coercion-Resistant Remote E-Voting . . . . . . 50 Ehsan Estaji, Thomas Haines, Kristian Gjøsteen, Peter B. Rønne, Peter Y. A. Ryan, and Najmeh Soroush Privacy-Preserving Dispute Resolution in the Improved Bingo Voting. . . . . . 67 Rosario Giustolisi and Alessandro Bruni Bayesian Audits Are Average But Risk-Limiting Audits are Above Average. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84 Amanda K. Glazer, Jacob V. Spertus, and Philip B. Stark CHVote: Sixteen Best Practices and Lessons Learned . . . . . . . . . . . . . . . . . 95 Rolf Haenni, Eric Dubuis, Reto E. Koenig, and Philipp Locher A Unified Evaluation of Two-Candidate Ballot-Polling Election Auditing Methods. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112 Zhuoqun Huang, Ronald L. Rivest, Philip B. Stark, Vanessa J. Teague, and Damjan Vukcevic Towards Model Checking of Voting Protocols in UPPAAL. . . . . . . . . . . . . . . 129 WojciechJamroga,YanKim,DamianKurpiewski,andPeterY.A.Ryan E-Voting System Evaluation Based on the Council of Europe Recommendations: nVotes. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 147 David Yeregui Marcos del Blanco, David Duenas-Cid, and Héctor Aláiz Moretón My Vote, My (Personal) Data: Remote Electronic Voting and the General Data Protection Regulation. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 167 Adrià Rodríguez-Pérez x Contents The Oxymoron of the Internet Voting in Illiberal and Hybrid Political Contexts . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 183 Bogdan Romanov and Yury Kabanov Effective Cybersecurity Awareness Training for Election Officials. . . . . . . . . 196 Carsten Schürmann, Lisa Hartmann Jensen, and Rósa María Sigbjörnsdóttir Does Vote Verification Work: Usage and Impact of Confidence Building Technology in Internet Voting . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 213 Mihkel Solvak Author Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 229
The list of books you might like
