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 language | English |
|---|---|
| Title of host publication | 12th IEEE International Conference on Engineering Complex Computer Systems, 2007 |
| Publication date | 2007 |
| Pages | 261-269 |
| ISBN (Print) | 0769528953 |
| DOIs | |
| Publication status | Published - 2007 |
| Externally published | Yes |
| Event | 12th IEEE International Conference on Engineering Complex Computer Systems - Auckland, New Zealand Duration: 11 Jul 2007 → 14 Jul 2007 Conference number: 12 https://ieeexplore.ieee.org/document/4276292 |
Conference
| Conference | 12th IEEE International Conference on Engineering Complex Computer Systems |
|---|---|
| Number | 12 |
| Country/Territory | New Zealand |
| City | Auckland |
| Period | 11/07/2007 → 14/07/2007 |
| Internet address |
Fingerprint
Dive into the research topics of 'Formally Counting Electronic Votes (But Still Only Trusting Paper)'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver