Name
Title | ||
|---|---|---|
Can DREs provide long-lasting security? the case of return-oriented programming and the AVC advantage |
Abstract | ||
|---|---|---|
A secure voting machine design must withstand new attacks devised throughout its multi-decade service lifetime. In this paper, we give a case study of the longterm security of a voting machine, the Sequoia AVC Advantage, whose design dates back to the early 80s. The AVC Advantage was designed with promising security features: its software is stored entirely in read-only memory and the hardware refuses to execute instructions fetched from RAM. Nevertheless, we demonstrate that an attacker can induce the AVC Advantage to misbehave in arbitrary ways--including changing the outcome of an election--by means of a memory cartridge containing a specially-formatted payload. Our attack makes essential use of a recently-invented exploitation technique called return-oriented programming, adapted here to the Z80 processor. In return-oriented programming, short snippets of benign code already present in the system are combined to yield malicious behavior. Our results demonstrate the relevance of recent ideas from systems security to voting machine research, and vice versa. We had no access either to source code or documentation beyond that available on Sequoia's web site. We have created a complete vote-stealing demonstration exploit and verified that it works correctly on the actual hardware. |
Year | Venue | Keywords |
|---|---|---|
2009 | EVT/WOTE | return-oriented programming,long-lasting security,voting machine research,systems security,longterm security,actual hardware,promising security feature,avc advantage,voting machine,sequoia avc advantage,secure voting machine design |
Field | DocType | Citations |
Voting,Computer science,Source code,Computer security,Exploit,Return-oriented programming,Software,Documentation,Versa,Payload | Conference | 47 |
PageRank | References | Authors |
3.70 | 10 | 6 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Stephen Checkoway | 1 | 1100 | 65.10 |
| Ariel J. Feldman | 2 | 613 | 36.42 |
| Brian Kantor | 3 | 772 | 47.30 |
| J. Alex Halderman | 4 | 2301 | 149.67 |
| Edward W. Felten | 5 | 3603 | 462.44 |
| Hovav Shacham | 6 | 7653 | 415.38 |