Feeds

Sequoia e-voting machine commandeered by clever attack

Return-oriented programming strikes again

The essential guide to IT transformation

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." ®

Next gen security for virtualised datacentres

More from The Register

next story
e-Borders fiasco: Brits stung for £224m after US IT giant sues UK govt
Defeat to Raytheon branded 'catastrophic result'
Snowden on NSA's MonsterMind TERROR: It may trigger cyberwar
Plus: Syria's internet going down? That was a US cock-up
Who needs hackers? 'Password1' opens a third of all biz doors
GPU-powered pen test yields more bad news about defences and passwords
Think crypto hides you from spooks on Facebook? THINK AGAIN
Traffic fingerprints reveal all, say boffins
Rupert Murdoch says Google is worse than the NSA
Mr Burns vs. The Chocolate Factory, round three!
Microsoft cries UNINSTALL in the wake of Blue Screens of Death™
Cache crash causes contained choloric calamity
Germany 'accidentally' snooped on John Kerry and Hillary Clinton
Dragnet surveillance picks up EVERYTHING, USA, m'kay?
prev story

Whitepapers

5 things you didn’t know about cloud backup
IT departments are embracing cloud backup, but there’s a lot you need to know before choosing a service provider. Learn all the critical things you need to know.
Implementing global e-invoicing with guaranteed legal certainty
Explaining the role local tax compliance plays in successful supply chain management and e-business and how leading global brands are addressing this.
Build a business case: developing custom apps
Learn how to maximize the value of custom applications by accelerating and simplifying their development.
Rethinking backup and recovery in the modern data center
Combining intelligence, operational analytics, and automation to enable efficient, data-driven IT organizations using the HP ABR approach.
Next gen security for virtualised datacentres
Legacy security solutions are inefficient due to the architectural differences between physical and virtual environments.