Electronic Voting: Second International Joint Conference, E-Vote-ID 2017, Bregenz, Austria, October 24-27, 2017, Proceedings

Front Matter ....Pages I-X
 Election Security and Economics: It’s All About Eve  (David Basin, Hans Gersbach, Akaki Mamageishvili, Lara Schmid, Oriol Tejada)....Pages 1-20
 Cryptographic Security Analysis of E-voting Systems: Achievements, Misconceptions, and Limitations  (Ralf Küsters, Johannes Müller)....Pages 21-41
 Voting in E-Participation: A Set of Requirements to Support Accountability and Trust by Electoral Committees  (Peter Parycek, Michael Sachs, Shefali Virkar, Robert Krimmer)....Pages 42-56
 The Weakness of Cumulative Voting  (Josh Benaloh)....Pages 57-65
 No More Excuses: Automated Synthesis of Practical and Verifiable Vote-Counting Programs for Complex Voting Schemes  (Lyria Bennett Moses, Rajeev Goré, Ron Levy, Dirk Pattinson, Mukesh Tiwari)....Pages 66-83
 Public Evidence from Secret Ballots  (Matthew Bernhard, Josh Benaloh, J. Alex Halderman, Ronald L. Rivest, Peter Y. A. Ryan, Philip B. Stark et al.)....Pages 84-109
 Towards a Mechanized Proof of Selene Receipt-Freeness and Vote-Privacy  (Alessandro Bruni, Eva Drewsen, Carsten Schürmann)....Pages 110-126
 Trust Implications of DDoS Protection in Online Elections  (Chris Culnane, Mark Eldridge, Aleksander Essex, Vanessa Teague)....Pages 127-145
 Updated European Standards for E-voting  (Ardita Driza Maurer)....Pages 146-162
 A Formally Verified Single Transferable Voting Scheme with Fractional Values  (Milad K. Ghale, Rajeev Goré, Dirk Pattinson)....Pages 163-182
 Reverse Bayesian Poisoning: How to Use Spam Filters to Manipulate Online Elections  (Hugo Jonker, Sjouke Mauw, Tom Schmitz)....Pages 183-197
 Return Code Schemes for Electronic Voting Systems  (Shahram Khazaei, Douglas Wikström)....Pages 198-209
 Eos a Universal Verifiable and Coercion Resistant Voting Protocol  (Ştefan Patachi, Carsten Schürmann)....Pages 210-227
 Clash Attacks and the STAR-Vote System  (Olivier Pereira, Dan S. Wallach)....Pages 228-247
 Verifiability Experiences in Government Online Voting Systems  (Jordi Puiggalí, Jordi Cucurull, Sandra Guasch, Robert Krimmer)....Pages 248-263
 Cast-as-Intended Mechanism with Return Codes Based on PETs  (Achim Brelle, Tomasz Truderung)....Pages 264-279
 How Could Snowden Attack an Election?  (Douglas Wikström, Jordi Barrat, Sven Heiberg, Robert Krimmer, Carsten Schürmann)....Pages 280-291
 Bits or Paper: Which Should Get to Carry Your Vote?  (Jan Willemson)....Pages 292-305
 Estonian Voting Verification Mechanism Revisited Again  (Ivo Kubjas, Tiit Pikma, Jan Willemson)....Pages 306-317
Back Matter ....Pages 319-319