Home // SnT // Research // APSIA // Events // Verifiable Voting Schemes Workshop - March 2013

Verifiable Voting Schemes Workshop, from Theory to Practice

Luxembourg, 21-22 March 2013

SnT Auditorium, 4 rue Alphonse Weicker, Luxembourg

Over the past few years there have been several initiatives around the world implementing and deploying verifiable voting schemes for real elections: Scantegrity II in Takoma Park, Helios at UCL, the Norwegian and Estonian systems, the DemTech project in Denmark, Wombat at the IDC Hurzliya, Prêt à Voter in Victoria Australia, StarVote in Travis County, etc. This workshop has as its primary focus to bring together people active in these initiatives, to exchanges ideas, experiences, lessons learnt etc.

Sponsors: Fonds National de la Recherche (FNR), SnT, LACS, CSC, APSIA and University of Luxembourg

 

 

Steering Committee: P. Y. A. Ryan (Chair), S. A. Schneider, J. Heather, M. D. Ryan, V. Teague, R. Haenni

 

 

Local Organization: R. Joaquim, Ragga Eyjolfsdottir

 

 

Thursday, 21 March

9:00

 

P. Y. A. Ryan: Welcome and Introduction

9:10

 

Keynote 1: Dan Wallach (Rice, USA): STAR-Vote: a Secure, Transparent, Auditable and Reliable Voting system

10:10

 

Mark Ryan (Birmingham, UK): Caveat Coercitor: coercion-evidence in electronic voting (paper)

 

 

 

10:40

 

Coffee break

 

 

 

11:00

 

Philip B. Stark (Berkeley, USA): Election integrity: resilience, brittleness, audits, and E2E

 

 

Rolf Haenni and Reto E. Koenig (BFH, Switzerland): Internet voting with trusted hardware

 

 

Rui Joaquim (University of Luxembourg): The EVIV protocol: end-to-end verifiable internet voting

 

 

 

12:30

 

Lunch

 

 

 

14:00

 

Olivier Pereira (UCL, Belgium): Helios voting: theory and practice, recent advances

 

 

Richard Buckland (UNSW, Australia): Best practice guidelines for E-voting systems

 

 

Kristian Gjøsteen (NUST, Norway): Is end-to-end verifiable remote voting possible in Norway?

 

 

Douglas Wikström (KTH Sweden): Mix-net with randomized partial checking

 

 

 

15:40

 

Coffee break

 

 

 

16:00

 

Christian Bull (The Norwegian Ministry of Local Government and Regional Development): Improvements in the Norwegian Internet Voting System for 2013 (and beyond?)

 

 

 

16:30

 

Keynote 2 and SnT Distinguished Lecture: J. Alex Halderman (Michigan, USA): Electronic Voting: Danger and Opportunity

 

 

 

18:00

 

Close

19:00

 

Banquet

Friday, 22 March

9:00

 

Carsten Schürmann (ITU Denmark): The DemTech project

 

 

Steve Schneider (Surrey, UK): vVote: implementing Prêt a Voter for the State of Victoria

 

 

Vanessa Teague (Melbourne, Australia): Verifiable postal voting

 

 

Veronique Cortier (CNRS, France): A variant of Helios to ensure full correctness against a dishonest ballot box: security proof and implementation

 

 

 

10:50

 

Coffee break

 

 

 

11:10

 

Ralf Kuesters (Trier, Germany): Defining security requirements for E-voting systems

 

 

Poorvi Vora (GWU, USA): A protocol model for E2E elections (paper)

 

 

Helger Lipmaa (Tartu, Estonia): A more efficient computationally sound non-interactive zero-knowledge shuffle argument (paper)

 

 

Jan Willemson (Cybernetica, Estonia): Recent developments in verifiable internet voting in Estonia

 

 

 

13:00

 

Lunch

 

 

 

14:00

 

Alon Rosen (IDC Herzliya, Israel): The Wombat voting system

14:30

 

Rump session and wrap-up

15:30

 

Close