Loading...
Thumbnail Image
Publication

Formally counting electronic votes (but still only trusting paper)

Date
2007
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.
Supervisor
Description
peer-reviewed
Publisher
IEEE Computer Society
Citation
12th IEEE International Conference on Engineering of Complex Computer Systems;2007
Funding code
Funding Information
Science Foundation Ireland (SFI)
Sustainable Development Goals
External Link
License
Embedded videos