Programme 2023

Wednesday, 4 October 2023  

All times in CEST (Berlin/Brussels, GMT+2).

08.30 Registration opens

09.00 – 09.30 Conference Opening
Peter Y.A. Ryan, Melanie Volkamer, David Duenas-Cid and Peter Rønne

9.30 – 10.30  Invited Keynote: Véronique Cortier (LORIA laboratory, Nancy, France)

  • Cast as Intended in voting protocols: Electronic voting aims at guaranteeing two key properties, namely vote secrecy and verifiability. Verifiability makes sure that the result of the election reflects the vote of each voter. It is usually split in several sub-properties: cast-as-intended, recorded-as-cast, tallied-as-recorded, and eligibility verifiability. For example, tallied-as-recorded guarantees that the result corresponds to the set of recorded (encrypted) ballots. Academically, this property is well understood and several mature techniques have been designed, although they are not necessarily deployed in practice.
    For cast-as-intended, this is somehow the other way round: not so many academic protocols have been proposed, while several countries make nonetheless use of solutions with cast-as-intended mechanisms, with variable security guarantees. In this talk, we will review some existing cast-as-intended mechanisms and describe a new one: BeleniosCaI. We will discuss its usability on the one side, and how to formally prove it on the other side.

11.00 – 12.30  Session 1: Cryptographic Primitives for Voting


  • Formally Verified Verifiable Group Generator –  Mukesh Tiwari
  • Linearly-Homomorphic Signatures for Short Randomizable Proofs of Subset Membership –  David Pointcheval
  • An Alternative Group for Applications of ElGamal in Cryptographic Protocols –  Rolf Haenni and Ilona Starý Kořánová

12:30 – 13.30  Lunch

13:30 – 15.00  Session 2: Trust but verify (I): verifiability in Internet voting


  • The first verifiable online elections in Canada –  Nicole Goodman, Iuliia Spycher-Krivonosova, Aleksander Essex and James Brunet
  • French 2022 legislatives elections: a verifiability experiment – Véronique Cortier, Pierrick Gaudry and Stéphane Glondu
  • Voter Perception of Cast-as-Intended Verifiability in the Estonian i-vote protocol –  Tobias Hilt, Kati Sein, Tanel Mallo, Melanie Volkamer and Jan Willemson

15.15 – 16.45  Session 3: Security Definitions, Audits, and Recoverability in Voting


  • Defining Security for Verifiable Voting Schemes: A Selene Case Study –  Kristian Gjøsteen, Thomas Haines and Morten Rotvold Solberg
  • Adaptively Weighted Audits of Instant-Runoff Voting Elections: AWAIRE –  Alexander Ek, Philip B. Stark, Peter J. Stuckey and Damjan Vukcevic
  • On recoverability from failures in dual voting – Prashant Agrawal, Kabir Tomer, Abhinav Nakarmi, Mahabir Prasad Jhanwar, Subodh Sharma and Subhashis Banerjee

17.00 – 18.30  Session 4: ICT in elections: standards, benefits, and challenges


  • Setting international standards on digital election technologies: mapping trends and stakeholders –  Adrià Rodríguez-Pérez and Jordi Barrat Esteve
  • Estimating carbon footprint of paper and Internet voting –  Jan Willemson and Kristjan Krips
  • Regulating for the “known unknowns” in Internet voting: quantum computing and long-term privacy – Adrià Rodríguez-Pérez, Núria Costa and Tamara Finogina

18.30 – 20.00 Poster and Demo Session, Tour of Neumünster Abbey

Chair: Michael Kirsten

Thursday, 5 October 2023  

9.00 – 10.00  Invited Keynote: Michael McGregor (Toronto Metropolitan University, Canada)

  • Internet voting and public opinion in a multi-level setting: The case of Canada: Canada is a federation with three orders of government (federal, provincial, and municipal). Only at the municipal level, however, has internet voting meaningfully taken hold. Hundreds of the country’s municipalities regularly run binding online elections, and some have done so for roughly two decades. Despite this largely successful track record, Canada’s national and provincial governments have never used internet voting for their elections.
    In this talk, I argue that public opinion is an important factor in explaining these across-level differences in adoption patterns. Using several survey datasets, I answer three groups of questions about Canadians’ attitudes towards online voting.
    First, to what extent do Canadians support the implementation of internet voting at each of the three levels of government? How do these attitudes compare to views on other types of reforms (including electoral system change, or extending the franchise to new groups)? Second, what are the individual-level correlates of support for the introduction of internet voting? Do Canadians view municipal elections as ‘second-order’ in nature, and if so, might this help us understand variation in attitudes towards the adoption of online voting? How are factors such as personality and partisanship related to support for internet voting? Third, does experience with internet voting at the municipal level make electors more supportive of the introduction of online elections at other levels?
    I conclude with a discussion of what public opinion research tells us about the prospects for the expansion of internet voting in Canada.

10.15 – 11.45  Session 5: Title: Internet Voting - Standards, Transparency, and Authentication


  • Online Voting in Ontario Municipalities: A Standards-based Review –  Aleksander Essex and James Brunet
  • Investigating transparency dimensions for Internet voting –  Samuel Agbesi, Jurlind Budurushi, Asmita Dalela and Oksana Kulyk
  • Coercion-resistant i-voting with short PIN and OAuth 2.0 – Matteo Bitussi, Riccardo Longo, Francesco Antonio Marino, Umberto Morelli, Amir Sharif, Chiara Spadafora and Alessandro Tomasi

12.15 – 13.30  Session 6: Trust but verify (II): trust and auditsManaging election integrity


  • Identifying Factors Studied for Voter Trust in E-Voting – A Literature Review –   Yannick Erb, David Duenas-Cid and Melanie Volkamer
  • Trust Frameworks in Application to Technology in Elections -   David Duenas-Cid, Leontine Loeber, Beata Martin-Rozumilowicz and Ryan Macias
  • Stylish RLAs in Practice –   Amanda Glazer, Jacob Spertus and Philip Stark

13.30 – 14:30  Lunch

14.30 – 16.00  Session 7: (Re)new(ed) experiences with Internet voting


  • Swiss Online Voting Redesigned –  Oliver Spycher
  • Improving the Swiss Post Voting System: Practical Experiences from the Independent Examination and First Productive Election Event –  Olivier Esseiva, Audhild Høgåsen and Xavier Monnat
  • German Social Elections in 2023: An Overview and first Analysis - Tobias Hilt, Oksana Kulyk and Melanie Volkamer
  • Pitfalls at the Starting Line: Moldova’s IVS Pilot –   Radu Antonio Serrano Iova

16.30 – 17.45  Panel


18.15 –   Departure for Gala Dinner at Castle Bourglinster with Best Paper Awards


Friday, 6 October 2023  

9.00 – 10.00  Invited Keynote: Liisa Past (National Cyber Director of Estonia)

  • Who runs election technology? Roles, responsibilities and cooperation model of the election managers and technology partners: Developing and managing election technology is necessarily a wider effort involving technology partners, information security teams and others as well as the EMB. The responsibility of running free, fair, and open elections based on secret voting cannot be delegated from the election organizers while some of the technology-specific competencies and activities necessarily have to. This keynote will explore models of cooperation, the necessary responsibilities of all parties involved and how to make sure the constitutional/legal requirements on elections are fulfilled regardless of the modes of voting and deployment of technology. Examples of the Estonian prototype of expansion to e-voting on smart devices will be used as an illustration.

10.15 – 11.45  Session 8: Verifiability and Coercion Resistance


  • CAISED: A Protocol for Cast-as-Intended Verifiability with a Second Device – Johannes Müller and Tomasz Truderung
  • Pretty Good Strategies for Benaloh Challenge –  Wojtek Jamroga
  • Faster coercion-resistant voting by encrypted sorting –  Diego F. Aranha, Michele Battagliola and Lawrence Roy

12.15 – 13.15  Rump Session

13.15 - 13.30  Closing of the Conference

13.30 - 14.30  Lunch

All times given in CEST.

Pre-Conference Programme

Tuesday, 3  October 2023  

PhD Colloquium

Welcome Cocktails