Search the Dagstuhl Website
Looking for information on the websites of the individual seminars? - Then please:
Not found what you are looking for? - Some of our services have separate websites, each with its own search option. Please check the following list:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Within this website:
External resources:
  • DOOR (for registering your stay at Dagstuhl)
  • DOSA (for proposing future Dagstuhl Seminars or Dagstuhl Perspectives Workshops)
Within this website:
External resources:
Within this website:
External resources:
  • the dblp Computer Science Bibliography

Dagstuhl Seminar 11281

Verifiable Elections and the Public

( Jul 10 – Jul 15, 2011 )

(Click in the middle of the image to enlarge)

Please use the following short url to reference this page:





This seminar brought together leading researchers from computer and social science, policymakers, and representatives from industry to discuss the issue of ``Verifiable Elections and the Public." The purpose was to present new research, develop new interdisciplinary approaches for studying election technologies, and to determine ways to bridge the gap between research and practice. This seminar built upon the foundation provided by an earlier Dagstuhl seminar in 2007: Frontiers of Electronic Voting, Seminar number 07311.

The initial sessions of the seminar were devoted to a conceptual discussion of verifiable voting, and to a summary of the apparent obstacles associated with implementing innovations in election technology. There was a general sense from most seminar participants that while great progress has been made in development of verifiable voting systems, there has not been as much progress towards testing, implementing, and deploying these new voting systems. Additionally, the research community would like to be more involved in policymaking and the practice of election administration. In particular, a panel discussion regarding obstacles to innovation was quite productive, outlining several reasons for this feeling that insufficient progress has been made, including politics, a lack of interest on the part of voters, legal and regulatory confusion, a lack of sensitivity to the training and incentives of election officials, and a sense that some efforts to innovate have been overly ambitious and complex.

After a productive discussion of obstacles to innovation, seminar participants heard talks about a variety of recent evoting and Internet voting trials and projects. These included talks on developments in Australia, Brazil, India, Estonia, Switzerland, and Norway, as well as discussion of voting technology implementations in two U.S. counties: Cuyahoga, Ohio and Sarasota, Florida. These presentations provided a great deal of real-world information on technological and practical issues regarding the implementation of new voting systems throughout the world.

Substantial time was devoted to the presentation of new voting systems. Some of these presentations regarded innovative new conceptual and hardware schemes, including new protocols for elections and ideas like using smartphones as voting platforms. Other presentations focused on advancement and elaboration of existing voting systems, for example further development of voting systems like Helios, Wombat, Prêt à Voter, and Scantegrity. All of these presentations documented the significant progress that has been made in the scientific community, in terms of development and elaboration of important cryptographic and procedural protocols for voting, as well as new ideas for potential uses of technology in elections.

One of the most exciting new developments since the earlier 2007 Dagstuhl seminar has been the implementation and testing of some of the new voting systems that are under development. These include implementations of Helios and Wombat, and also a systematic usability and understandability project regarding Pr\^{e}t \`{a} Voter. These efforts are providing important data that is aiding in the continued development of these and other related new voting systems.

Voting online continues to expand throughout the world, as was widely discussed during talks on projects in Estonia, Norway, and Switzerland. And many of the talks about new voting systems regarded new protocols that can be deployed online, like the extension of Scantegrity to remote online use (``Remotegrity''). Presentations about these projects came from social scientists, technologists, and policymakers.

At the same time, there continue to be important questions raised from researchers about voting online, focusing largely on concerns about the security of online voting - specifically including the challenges of making online voting coercion-resistant in a practical, convincing, and usable way. These concerns fueled much discussion during the seminar, and it is clear that more research about the voting systems being currently deployed, and those proposed for use in the near future, is needed.

Concern is growing in the research community about how to maximize the impact of the considerable body of research that has accumulated in recent years. Seminar participants raised concerns about ways to improve the science of studying election technology, as well as methods to improve connections and collaborations between the scientific and policymaking communities. These issues will continue to intensify in the near future, and we hope that the discussions at this Dagstuhl seminar will fuel progress in the development of new scientific opportunities for research and dissemination, as well as closer collaboration between scientists and policymakers.

  • Michael Alvarez (CalTech - Pasadena, US)
  • David Beirne (Federal Voting Assistance Programm, Arlington, US)
  • Jonathan Ben-Nun (Tel Aviv University, IL)
  • Josh Benaloh (Microsoft Corporation - Redmond, US)
  • Sergiu Bursuc (University of Birmingham, GB)
  • Michel Chevallier (Republique et Canton de Genève, CH)
  • Véronique Cortier (LORIA - Nancy, FR) [dblp]
  • Christopher Culnane (University of Surrey, GB)
  • Stéphanie Delaune (ENS - Cachan, FR) [dblp]
  • Jeremy J. Epstein (SRI - Arlington, US) [dblp]
  • Paul Gibson (Télécom & Management SudParis - Evry, FR)
  • Rop Gonggrijp (Amsterdam, NL)
  • Rolf Haenni (Bern University of Applied Sciences, CH)
  • J. Alex Halderman (University of Michigan - Ann Arbor, US)
  • James Heather (University of Surrey, GB)
  • F. Daniel Hidalgo (University of California, US)
  • Candice Hoke (Cleveland State University - Cleveland, US)
  • Rui Joaquim (Technical University of Lisboa, PT)
  • Hugo Jonker (University of Luxembourg, LU)
  • Reto König (Bern University of Applied Sciences, CH)
  • Steve Kremer (INRIA Lorraine - Nancy, FR) [dblp]
  • Robert Krimmer (OSCE - Warszaw, PL)
  • Manuel J. Kripp (Wien, AT)
  • Miroslaw Kutylowski (Wroclaw University of Technology, PL)
  • Gabriele Lenzini (University of Luxembourg, LU) [dblp]
  • Helger Lipmaa (University of Tartu, EE)
  • Morgan H. Llewellyn (IMT - Lucca, IT)
  • Symeon Meichanetzoglou (University of Luxembourg, LU) [dblp]
  • Tal Moran (The Interdisciplinary Center - Herzliya, IL)
  • Maina Olembo (TU Darmstadt, DE)
  • Olivier Pereira (UC Louvain, BE)
  • Ben Riva (Tel Aviv University, IL)
  • Mark D. Ryan (University of Birmingham, GB) [dblp]
  • Peter Y. A. Ryan (University of Luxembourg, LU) [dblp]
  • Steve Schneider (University of Surrey, GB) [dblp]
  • Vanessa Teague (The University of Melbourne, AU) [dblp]
  • Jacques Traoré (Orange Labs - Caen, FR) [dblp]
  • Alexander Trechsel (European University Institute, IT)
  • Jeroen van de Graaf (Federal University of Minas Gerais - Belo Horizont, BR)
  • Kristjan Vassil (European University Institute, IT)
  • Dan Wallach (Rice University - Houston, US) [dblp]
  • Anina Weber (Federal Chancellery - Bern, CH)
  • Douglas Wikström (KTH Royal Institute of Technology, SE)
  • Zhe Xia (University of Surrey, GB)
  • Filip Zagórski (George Washington University - Washington, US)

Related Seminars
  • Dagstuhl Seminar 07311: Frontiers of Electronic Voting (2007-07-29 - 2007-08-03) (Details)
  • Dagstuhl Seminar 25411: Trustworthy Evidence-Based Elections (2025-10-05 - 2025-10-10) (Details)

  • Security
  • information assurance
  • cryptography
  • society
  • interdisciplinary (standarization/legal and social problems/political sciences)

  • elections
  • voting
  • verifiability
  • voting protocols
  • electronic voting
  • voting machines
  • encryption methods
  • anonymous channels
  • privacy protection
  • authentication
  • integrity
  • digital receipts
  • coercion resistance
  • usability
  • interfaces
  • implementation issues
  • cryptanalysis
  • threat models
  • formal security analysis
  • commercial voting systems
  • public policy
  • e-democracy
  • technology and society
  • legal requirements
  • legal models
  • and standardization