Feeds

Sequoia e-voting machine commandeered by clever attack

Return-oriented programming strikes again

Protecting against web application threats using SSL

Computer scientists have figured out to how trick a widely used electronic voting machine into altering tallies with a technique that bypasses measures that are supposed to prevent unauthorized code from running on the device.

The method, known as return-oriented programming, has already been used to defeat security measures built into the Linux and OpenBSD operating systems. Now scientists have used it against the Sequoia AVC Advantage machine, which is used almost universally in New Jersey and in parts of Louisiana, Pennsylvania, Wisconsin, Colorado and Virginia, according to the Verified Voting Foundation.

The machine is programmed to execute code only when it's stored on read-only memory chips that are difficult to install and remove. By expressly forbidding the running of code contained in random access memory, the designers intended to make it impossible for attackers to inject malicious programs that might compromise the integrity or confidentiality of the election.

The computer scientists were able to evade this safety mechanism using return-oriented programming. Rather than designing the malicious code from scratch, the technique reassembles programming expressions already found in the targeted software in a way that gives the researchers the ability to take complete control over the machine. It's tantamount to kidnappers who write a ransom note using letters cut from the headline of a newspaper.

The research team - from Princeton University, the University of California at San Diego and the University of Michigan - pulled off the attack by obtaining a Sequoia AVC Advantage legally off the internet. Without access to any of the source code, they reverse engineered the hardware. They were then able to reverse engineer the software it ran by analyzing the machine's ROM.

Sequoia and manufacturers of other brands of e-voting machines frequently discount vulnerability research into their products by pointing out that the underlying source code is closely guarded. Researchers in many studies, they argue, have unrealistic access to the devices' inner workings.

"What we have shown or what I hope we have shown in this paper is that that criticism in untrue," Hovav Shacham a professor at UC San Diego, told The Register. "It might take a little more work if we don't have the source, but nevertheless we're able to find vulnerabilities and exploit them in useful ways in machines where the only access we have is the physical artifacts themselves."

Sequoia in the past has gone to great lengths to prevent outsiders from peering into its proprietary voting machines. Last year, it threatened to sue after a county in New Jersey asked Princeton University researchers to inspect election gear suspected of malfunctioning during the presidential primary election.

The exploit works successfully on AVC Advantage machines running software version five, Shacham said. It remains unclear if the flaw that makes the attack possible is contained in newer versions of the software.

The proof-of-concept attack caused the machine to steal votes in a pre-determined way. The code that makes it possible can be installed in a few minutes. While a simple rebooting of the machine causes the malicious instructions to vanish, the exploit also caused the machine to appear as if it were turned off when in fact it was turned on. When the power switch is activated, the malware makes the machine appear to boot up.

A Sequoia spokeswoman said she hadn't read the report and had no comment. She suggested interested parties look here for responses to previous research by Princeton professor Andrew Appel, a computer scientist who has long criticized the security of the machine.

Return-oriented programming has already been shown to be an effective way of piercing protections such as WxorX found in Linux, OpenBSD and Solaris. Its application to the Sequoia machine is impressive because the device is undocumented except to a select few who have signed non-disclosure agreements. The research was presented Monday at the Electronic Voting Technology Workshop/Workshop of Trustworthy Elections. The paper in PDF and slides are available here and here respectively.

"It's excellent research," said David Wagner, a computer scientist from the University of California at Berkeley who attended the conference and was not involved in the paper. "The research is significant because it illustrates that attacks get better over time and it shows just how difficult it is to protect paperless voting systems." ®

Reducing the cost and complexity of web vulnerability management

More from The Register

next story
Infosec geniuses hack a Canon PRINTER and install DOOM
Internet of Stuff securo-cockups strike yet again
'Speargun' program is fantasy, says cable operator
We just might notice if you cut our cables
Apple Pay is a tidy payday for Apple with 0.15% cut, sources say
Cupertino slurps 15 cents from every $100 purchase
Israeli spies rebel over mass-snooping on innocent Palestinians
'Disciplinary treatment will be sharp and clear' vow spy-chiefs
YouTube, Amazon and Yahoo! caught in malvertising mess
Cisco says 'Kyle and Stan' attack is spreading through compromised ad networks
Hackers pop Brazil newspaper to root home routers
Step One: try default passwords. Step Two: Repeat Step One until success
Greater dev access to iOS 8 will put us AT RISK from HACKERS
Knocking holes in Apple's walled garden could backfire, says securo-chap
Microsoft to patch ASP.NET mess even if you don't
We know what's good for you, because we made the mess says Redmond
prev story

Whitepapers

Providing a secure and efficient Helpdesk
A single remote control platform for user support is be key to providing an efficient helpdesk. Retain full control over the way in which screen and keystroke data is transmitted.
WIN a very cool portable ZX Spectrum
Win a one-off portable Spectrum built by legendary hardware hacker Ben Heck
Storage capacity and performance optimization at Mizuno USA
Mizuno USA turn to Tegile storage technology to solve both their SAN and backup issues.
High Performance for All
While HPC is not new, it has traditionally been seen as a specialist area – is it now geared up to meet more mainstream requirements?
Security and trust: The backbone of doing business over the internet
Explores the current state of website security and the contributions Symantec is making to help organizations protect critical data and build trust with customers.