The KOA remote voting system: a summary of work to date

Authors:
Joseph R. Kiniry;Alan E. Morkan;Dermot Cochran;Fintan Fairmichael;Patrice Chalin;Martijn Oostdijk;Engelbert Hubbers
Affiliations:
School of Computer Science and Informatics, University College Dublin, Dublin 4, Ireland;School of Computer Science and Informatics, University College Dublin, Dublin 4, Ireland;School of Computer Science and Informatics, University College Dublin, Dublin 4, Ireland;School of Computer Science and Informatics, University College Dublin, Dublin 4, Ireland;Department of Computer Science and Software Engineering, Concordia University, Montreal, Quebec, Canada;Nijmegen Institute of Information and Computing Sciences, Radboud University Nijmegen, Nijmegen, The Netherlands;Nijmegen Institute of Information and Computing Sciences, Radboud University Nijmegen, Nijmegen, The Netherlands
Venue:
TGC'06 Proceedings of the 2nd international conference on Trustworthy global computing
Year:
2006

Citing 9
Cited 5

Proof-carrying code

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A Simple and Practical Approach to Unit Testing: The JML and JUnit Way

ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
Declaring and checking non-null types in an object-oriented language

OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
Analyzing internet voting security

Communications of the ACM - Voting systems
Source availability and e-voting: an advocate recants

Communications of the ACM - Voting systems
An overview of JML tools and applications

International Journal on Software Tools for Technology Transfer (STTT) - Special section on formal methods for industrial critical systems
Non-null references by default in the Java modeling language

SAVCBS '05 Proceedings of the 2005 conference on Specification and verification of component-based systems
An incremental approach to abstraction-carrying code

LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
ESC/Java2: uniting ESC/Java and JML

CASSIS'04 Proceedings of the 2004 international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

Verification-centric realization of electronic vote counting

EVT'07 Proceedings of the USENIX Workshop on Accurate Electronic Voting Technology
Security types for dynamic web data

Theoretical Computer Science
Bounded Verification of Voting Software

VSTTE '08 Proceedings of the 2nd international conference on Verified Software: Theories, Tools, Experiments
Browser based agile e-voting system

ASIAN'07 Proceedings of the 12th Asian computing science conference on Advances in computer science: computer and network security
JMLUnit: the next generation

FoVeOOS'10 Proceedings of the 2010 international conference on Formal verification of object-oriented software

Quantified Score

Hi-index	0.00

Visualization

Abstract

Remote internet voting incorporates many of the core challenges of trusted global computing. In this paper, we present the Kiezen op Afstand (KOA) system. KOA is a Free Software, remote voting system developed for the Dutch government in 2003/2004. In addition to being Open Source, it is also partially formally specified and verified. This paper summarises the work carried out to date on the KOA system. It charts the evolution of the system, from its initial conception by the Dutch Government, through to its current status. It also describes a roadmap of milestones towards completing its next release: a Free Software, general-purpose, formally specified and verified internet voting system, that incorporates Proof Carrying Code technology for software update and allows trustworthy voting from a mobile phone. We propose that the KOA system should be used as an experimental platform for research in electronic and internet voting; we are not saying that we have solved any of the major problems inherent in voting with computers.