Conference Programme
Final Programme - 24 October 2017
Tuesday, 24 October 2017 – Pre-Conference Programme
09.00 – 10.30 PhD Colloquium Session I: Individual verifiability
- A different approach to code-voting: Achieving coercion-resistance and individual verifiability without the assumption of a trusted channel Iñigo Querejeta Azurmendi, slides
- Challenge vs Coding - Which is more usable? Karola Marky, slides
10.30 – 10.45 Coffee Break
10.45 – 12.15 PhD Colloquium Session II: Practical aspects of E-Voting deployment
- Total cost formula for e-voting implementation Iuliia Krivonosova, slides
- Machines in Politics: the Role of Electoral Technologies in Kenya 2017 elections Cecilia Passanti
12.15 – 13.00 Lunch (for PhD Colloquium and Programme Committee Members only)
13.00 – 14.30 PhD Colloquium Session III: Cryptography and formal proofs
- Formal verification of an Internet Voting Protocol Kristjan Krips, slides
- Mixnets for long-term privacy Núria Costa Mirada, slides
14.30 – 14.45 Coffee Break
14.45 – 17.00 PhD Colloquium Session IV: National Case Studies
- Secure voter registration and eligibility checking for Nigerian elections Nicholas Akinyokun, slides
- Electronic Voting (E-Voting) Adoption in Developing Countries: Ghana as a Case Study Samuel Agbesi, slides
- Between Law and Technology: Internet Voting, Secret Suffrage and the European Electoral Heritage Adria Rodriguez, slides
- Selene e-Voting protocol: in your hand and in the booth Marie-Laure Zollinger, slides
14.00 – 16.15 Programme Committee Meeting (by invitation only)
16.00 – 20.00 DEMO Session (please contact Carsten Schürmann if you would like to demonstrate your e-voting system)
18.00 – 20.00 Welcome Reception
Wednesday, 25 October 2017 – Main Conference Programme
08.00 Registration opens
09.00 – 10.30 Opening & Keynote (Session Chair: Robert Krimmer & Melanie Volkamer)
Cryptographic Security Analysis of E-Voting Systems: Achievements, Misconceptions, and Limitations Ralf Küsters, slides
10.30 – 11.00 Coffee Break
11:00 – 12.00 Session 1: Attitudes, Norms and Challenges (Session Chair: Jordi Barrat)
- Canadians' Attitudes to Online Voting Jon Pammett, slides
- The Brazilian Electronic Voting System: Evolution and Challenges Jorge Lheureux-De-Freitas and Marie Anne Macadar, slides
12.00 – 13.30 Lunch
13.30 – 15.10 Session 2: Trust (Session Chair: Oksana Kulyk)
- Trust Implications of DDoS Protection in Online Elections Chris Culnane, Mark Eldridge, Aleksander Essex and Vanessa Teague, slides
- Cast-as-Intended Mechanism with Return Codes Based on PETs Tomasz Truderung and Achim Brelle, slides
- Some Return Code Schemes for Electronic Voting Systems Shahram Khazaei and Douglas Wikström, slides
- Public Evidence from Secret Ballots Matthew Bernhard, J. Alex Halderman, Ronald Rivest, Poorvi Vora, Peter Ryan, Vanessa Teague, Josh Benaloh, Philip Stark and Dan Wallach, slides
15.10 – 15.30 Coffee Break
15.30 – 16.45 Session 3: Digital Transformation (Session Chair: Rajeev Gore)
- Outstripping of the eVoting Evolution Marija Lindemane and Jekaterina Kuzmina
- Bits or Paper: which should get to carry your vote? Jan Willemson, slides
- Verifiability experiences in government online voting systems Jordi Puiggalí, Jordi Cucurull, Sandra Guasch and Robert Krimmer, slides
16.45 – 17.00 Coffee Break
17.00 – 17.50 Session 4: Governance (Session Chair: Gregor Wenda)
- The use of technology in the election process: Who governs? Leontine Loeber, slides
- Updated European Standards for e-voting Ardita Driza Maurer
17.50 Closing of the Day
19.00 Reception in Bregenz
Thursday, 26 October 2017 – Main Conference Programme
09.00 – 10.00 Invited Keynote (Session Chair: Melanie Volkamer)
Election Security and Economics: It's all about Eve David Basin, slides
10:00 – 10:50 Session 5: Digitization of the Electoral Process (Session Chair: Oliver Spycher)
- Party Endorsement Systems and Internet Voting Carsten Schürmann and Soeren Stauning, slides
- Open Data in Electoral Administration Peter Wolf , slides
10:50 – 11.15 Coffee Break
11:15 – 12.30 Session 6: Verification (Session Chair: Olivier Pereira)
- A Mechanized Proof of Selene Receipt Freeness and Privacy Alessandro Bruni, Eva Drewsen and Carsten Schürmann, slides
- A Formally Verified Single Transferable Vote Scheme with Fractional Values Milad Ghale, Rajeev Gore and Dirk Pattinson, slides
- No More Excuses: Automated Synthesis of Practical and Verifiable Vote-counting Programs for Complex Voting Schemes Lyria Bennett Moses, Ron Levy, Dirk Pattinson, Mukesh Tiwari and Rajeev Gore, slides
12.30 – 14.00 Lunch
14:00 – 15.15 Session 7: Voting Protocols (Session Chair: Peter Y.A. Ryan)
- Estonian Voting Verification Mechanism Revisited Again Jan Willemson, Ivo Kubjas and Tiit Pikma, slides
- Eos A Universal Verifiable and Coercion Resistant Voting Protocol Stefan Patachi and Carsten Schürmann, slides
- The Weakness of Cumulative Voting Josh Benaloh, slides
15.15 – 15.30 Coffee Break
15.30 – 16.45 Session 8: Practical Experiences (Moderator: Reto Koenig)
- The use of supporting software in the Netherlands Peter Castenmiller and Kees Uijl, slides
- A Secure E-Voting Infrastructure. Implementation by Swiss Post Raffaele Stefanelli, Denis Morel and Xavier Monnat, slides
- The Use of New Technologies in Electoral Process in BiH – Where we started and where we are going Suad Arnautovic, slides
16.45 – 18.00 Panel Discussion
18.00 Best Paper Award Ceremony
19:00 Conference Dinner („Cheese Road“)
Friday, 27 October 2017 – Main Conference Programme
09.00 – 10.00 Invited Keynote (Session Chair: Robert Krimmer)
Voting in E-participation: A Set of Requirements to Support Accountability and Trust by Electoral Committees Peter Parycek, slides
10.00 - 11.15 Session 9: Attacks (Session Chair: Tomasz Truderung)
- How Could Snowden Attack an Election? Douglas Wikström, Jordi Barrat, Sven Heiberg, Robert Krimmer and Carsten Schürmann, slides
- Clash attacks and the STAR-Vote system Olivier Pereira and Dan Wallach, slides
- Reverse Bayesian poisoning: How to use spam filters to manipulate online elections Hugo Jonker, Sjouke Mauw and Tom Schmitz, slides
11.15 - 11.30 Coffee Break
11.30 - 13.00 Rump Session
13.00 Closing of the Conference
13.00 – 14.30 Lunch