Verification-centric realization of electronic vote counting

Authors:
Joseph R. Kiniry;Dermot Cochran;Patrick E. Tierney
Affiliations:
School of Computer Science and Informatics, University College Dublin, Belfield, Dublin, Ireland;School of Computer Science and Informatics, University College Dublin, Belfield, Dublin, Ireland;School of Computer Science and Informatics, University College Dublin, Belfield, Dublin, Ireland
Venue:
EVT'07 Proceedings of the USENIX Workshop on Accurate Electronic Voting Technology
Year:
2007

Citing 8
Cited 2

Seamless object-oriented software architecture: analysis and design of reliable systems

Seamless object-oriented software architecture: analysis and design of reliable systems
Applying "Design by Contract"

Computer
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
Kind theory

Kind theory
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
The KOA remote voting system: a summary of work to date

TGC'06 Proceedings of the 2nd international conference on Trustworthy global computing
Beyond assertions: advanced specification and verification with JML and ESC/Java2

FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
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

Testing library specifications by verifying conformance tests

TAP'12 Proceedings of the 6th international conference on Tests and Proofs
Formal model-based validation for tally systems

Vote-ID'13 Proceedings of the 4th international conference on E-Voting and Identity

Quantified Score

Hi-index	0.00

Visualization

Abstract

Activist computer scientists, including some of the authors of this paper, have been working against the adoption by governments of commercial, proprietary, insecure, poorly designed and implemented voting systems the world-over. And, while we mainly work to accomplish our goals by educating citizens and communicating with the press, we also must propose solutions to the problems of trustworthy e-voting. If a computer-based voting system is to ever be adopted, that system must be demonstrably of extremely high quality. This paper discusses a methodology and a set of tools we have used to implement a vote counting plugin, for an experimental computer-based voting system using applied formal methods.