The Independent View: DefCon 2019 Voting Village Update

For the last Two years, Hackers have come to the Voting Village at the DefCon Security Conference in Las Vegas to Tear Down Voting Machines and Analyze them for Vulnerabilities.

But this year’s Village Features a New Target, a Prototype Secure Voting Machine created through a $10 Million Project at the Defense Advanced Research Projects Agency (Darpa).

Announced in March 2019, the Initiative aims to Develop an Open Source Voting Platform built on Secure Hardware. The Oregon-based Verifiable Systems Firm Galois is Designing the Voting System.

And Darpa wants you to know, its Endgame goes way beyond Securing the Vote. The Agency hopes to use Voting Machines as a Model System for Developing a Secure Hardware Platform, meaning that the Group is Designing All the Chips that go into a Computer from the Ground up, and isn’t using Proprietary Components from Companies like Intel or AMD.

“The goal of the program is to develop these tools to provide security against hardware vulnerabilities,” says Linton Salmon, the Project’s Program Manager at Darpa. “Our goal is to protect against remote attacks.”

Other Voting Machines in the Village are Complete, Deployed Products that Attendees can take Apart and Analyze. But the Darpa Machines are Prototypes, currently Running on Virtualized Versions of the Hardware Platforms they will eventually use.

A basic User Interface is currently being provided by the Secure Voting Firm Voting Works.

"We want people to find things." Galois's Dan Zimmerman said:

- To Vote using the System.

- Go up to a Touchscreen, make your Picks which Is The Best Star Wars Movie; Are Hot Dogs Sandwiches), Confirm your Selections, and then Send them to Print Out.

- Your Selections appear along with a QR Code in the Upper Right-Hand Corner of the Page.

- Next, you Feed your Printed Votes into a Secure Ballot Box, currently part of a Filing Cabinet Frankensteined to some Printer Components.

- The Ballot Box Scans the Document as you Insert it, and uses the QR Code to Perform a Cryptographic Validity Check. If the Paper doesn’t Pass the Test, either by being Fraudulent or from a Different Election, the Scanner will Reject the Paper and Won’t Record the Vote.

Currently All of the Components that a Voter would Interact with are Bare Bones Prototypes that Don’t provide much to Hack. At the 2020 Village, Darpa Plans to have a more Complete System for Attendees to Assess.

But Hackers can still Probe the Secure Hardware Infrastructure and Attempt to find Flaws in its Layers of Protection against Hardware-based Attacks, everything from Complicated Strikes, Speculative Execution Attacks, and Rowhammer to more Common Flaws like Buffer Overflows.

Rowhammer Attacks work by Rapidly Accessing, or Hammering Physical Rows inside Vulnerable Chips in ways that cause Bits in Neighboring Rows to Flip, meaning 1s turn to 0s and Vice Versa. The Attacks work because as Capacitors become Closer together, they more Quickly Leak the Electrical Charges that Store the Bits.

Participants sitting down to assess the System on Friday told WIRED that it seems Promising. And Creating an Open Source Secure Hardware Platform that anyone can Incorporate into their Products has the Potential, beyond Voting Machines, to have a Major Impact on Internet of Things (IOT) Security Overall.

“All of this is here for people to poke at,” says Dan Zimmerman, Principal Researcher at Galois. “I don’t think anyone has found any bugs or issues yet, but we want people to find things. We’re going to make a small board solely for the purpose of letting people test the secure hardware in their homes and classrooms and we’ll release that.”

There’s also already a Code Repository on securehardware.org that Hackers can Analyze from afar. And the Group has even Embedded Sample Vulnerabilities in the Code so Researchers can see how the Hardware Platform Works to Minimize the Threat that they pose and look for Flaws in these Defenses.

“There’s a terrible software vulnerability in there,” says Dan Wallach, a Security Researcher at Rice University in Houston, Texas. “I know because I wrote it. It’s a web server that anyone can connect to and read/write arbitrary memory. That’s so bad. But the idea is that even with that in there, an attacker still won’t be able to get to things like crypto keys or anything really. All they would be able to do right now is crash the system.”

Darpa and Galois hope that DefCon Attendees will find Bugs and have Defense suggestions throughout the weekend, and that the Larger Community will have Input as well. The System will also Travel to a series of Universities over the next Two years for Vetting by a Range of Academics.

The point of the Voting Village has always been to find Flaws in the hopes of making Voting Machines Safer. But Darpa's Prototype may be the first time those Discoveries are actually Welcome.