Formally Counting Electronic Votes (But Still Only Trusting Paper)

J.R. Kiniry

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Abstract

In this extended abstract we summarize our consulting work, scientific research, and activism in the topic of electronic (computer-based) voting. The Dutch and Irish government's activities are our particular focus, as is the Kiezen op Afstand (KOA) system, an experimental platform for electronic voting research with formal methods. We also reflect on the current state of affairs in The Netherlands and Ireland, and discuss next research steps in trustworthy, verified electronic voting systems.
Original languageEnglish
Title of host publication12th IEEE International Conference on Engineering Complex Computer Systems, 2007
Publication date2007
Pages261-269
ISBN (Print)0769528953
DOIs
Publication statusPublished - 2007
Externally publishedYes
Event12th IEEE International Conference on Engineering Complex Computer Systems, 2007 - Dublin, Ireland
Duration: 11 Jul 200714 Jul 2007

Conference

Conference12th IEEE International Conference on Engineering Complex Computer Systems, 2007
CountryIreland
CityDublin
Period11/07/200714/07/2007

Cite this

Kiniry, J. R. (2007). Formally Counting Electronic Votes (But Still Only Trusting Paper). In 12th IEEE International Conference on Engineering Complex Computer Systems, 2007 (pp. 261-269) https://doi.org/10.1109/ICECCS.2007.24