Sciweavers

Share
CCS
2007
ACM

An independent audit framework for software dependent voting systems

12 years 2 months ago
An independent audit framework for software dependent voting systems
The electronic voting machines known as Direct Recording Electronic (DRE), that are used in many states in the US have been shown to contain security vulnerabilities [16, 9, 3]. One of the problems is that the elections held on these machines cannot be independently audited. In this paper we address this issue by designing a new all-electronic independent audit framework for DRE voting systems. Our framework leverages system virtualization concepts and image recognition techniques to maintain an audit of the vote totals. The architecture we present is a step towards meeting the software independence requirements as defined by Rivest et al. [21, 2]. We have implemented a prototype using the Diebold Accuvote TS DRE voting software and the XEN hypervisor and demonstrate that our system can achieve a robust election audit with negligible overhead. Categories and Subject Descriptors D.2 [Software]: Software Engineering; D.2.11 [Software Engineering]: Software Architectures—Domain-speci...
Sujata Garera, Aviel D. Rubin
Added 07 Jun 2010
Updated 07 Jun 2010
Type Conference
Year 2007
Where CCS
Authors Sujata Garera, Aviel D. Rubin
Comments (0)
books