Conference Program

Conference Programme

Draft Programme - 15 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
Challenge vs Coding - Which is more usable? Karola Marky

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
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
Mixnets for long-term privacy Núria Costa Mirada

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
Electronic Voting (E-Voting) Adoption in Developing Countries: Ghana as a Case Study Samuel Agbesi 
- Between Law and Technology: Internet Voting, Secret Suffrage and the European Electoral Heritage Adria Rodriguez
Selene e-Voting protocol: in your hand and in the booth Marie-Laure Zollinger

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

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
The Brazilian Electronic Voting System: Evolution and Challenges Jorge Lheureux-De-Freitas and Marie Anne Macadar

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
Cast-as-Intended Mechanism with Return Codes Based on PETs Tomasz Truderung and Achim Brelle
- Some Return Code Schemes for Electronic Voting Systems Shahram Khazaei and Douglas Wikström
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

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
Verifiability experiences in government online voting systems Jordi Puiggalí, Jordi Cucurull, Sandra Guasch and Robert Krimmer

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
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

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
Open Data in Electoral Administration Peter Wolf 

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
A Formally Verified Single Transferable Vote Scheme with Fractional Values Milad Ghale, Rajeev Gore and Dirk Pattinson
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

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
Eos A Universal Verifiable and Coercion Resistant Voting Protocol Stefan Patachi and Carsten Schürmann
The Weakness of Cumulative Voting Josh Benaloh

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
A Secure E-Voting Infrastructure. Implementation by Swiss Post Raffaele Stefanelli, Denis Morel and Xavier Monnat
The Use of New Technologies in Electoral Process in BiH – Where we started and where we are going Suad Arnautovic

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

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
Clash attacks and the STAR-Vote system Olivier Pereira and Dan Wallach
Reverse Bayesian poisoning: How to use spam filters to manipulate online elections Hugo Jonker, Sjouke Mauw and Tom Schmitz

11.15 - 11.30 Coffee Break

11.30 - 13.00 Rump Session (please contact Olivier Pereira if you would like to present your work in this session)

13.00 Closing of the Conference

13.00 – 14.30 Lunch