loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007)
Formally Counting Electronic Votes (But Still Only Trusting Paper)
Auckland, New Zealand
July 11-July 14
ISBN: 0-7695-2895-3
ASCII Text
x 
 
Joeseph Kiniry, "Formally Counting Electronic Votes (But Still Only Trusting Paper)," Engineering of Complex Computer Systems, IEEE International Conference on, pp. 261-269, 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007), 2007.
 
 
BibTex
x
 
@article{ 10.1109/ICECCS.2007.24,
author = {Joeseph Kiniry},
title = {Formally Counting Electronic Votes (But Still Only Trusting Paper)},
journal ={Engineering of Complex Computer Systems, IEEE International Conference on},
volume = {0},
year = {2007},
isbn = {0-7695-2895-3},
pages = {261-269},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICECCS.2007.24},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Engineering of Complex Computer Systems, IEEE International Conference on
TI - Formally Counting Electronic Votes (But Still Only Trusting Paper)
SN - 0-7695-2895-3
SP261
EP269
A1 - Joeseph Kiniry,
PY - 2007
KW - null
VL - 0
JA - Engineering of Complex Computer Systems, IEEE International Conference on
ER -
 
Joeseph Kiniry, University College Dublin, Ireland
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.
Citation:
Joeseph Kiniry, "Formally Counting Electronic Votes (But Still Only Trusting Paper)," iceccs, pp.261-269, 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007), 2007
Usage of this product signifies your acceptance of the Terms of Use.