The Hardest Problem I’ve Ever Seen
Where
Talks
ShmooCon 2025
Duration
50 min
Explains why securing US election outcomes is so hard, and how risk-limiting audits help verify results despite flawed software.
Summary
Matt Blaze opens by describing how US elections are run: mostly by counties and townships, under state law, with budgets competing against everyday local services. He stresses two uncomfortable facts. Real technical vulnerabilities exist in parts of election infrastructure, yet no credible evidence has ever shown a technical attack changing a US election outcome.
He traces the path from the 2000 Florida recount, where punch-card ballots and hanging chads became a national embarrassment, to the Help America Vote Act. That law pushed jurisdictions toward paper-based optical scan systems and touchscreen machines. Software-driven direct recording machines brought new trust problems, because voters cannot read their own votes and software failures can quietly alter results.
The central argument is that software is unreliable, so election systems should be designed so that a software flaw cannot cause an unrecoverable wrong outcome. Ron Rivest's idea of software independence, and Philip Stark's risk-limiting audits, show how hand-checking a small random sample of paper ballots can bound the risk of a wrong result. Blaze closes by urging technologists to help local officials, consider becoming election workers, and help retire paperless touchscreen machines.
Related talks
Talks·43 min
Trey Darley · Pedro Umbelino
Maps how the 2038 Unix time rollover threatens systems worldwide and why coordinated remediation is so hard.
Talks·53 min
Eric Bryce
Explains how stock exchange design assumptions create exploitable gaps, and walks through SEC-prosecuted market manipulation cases.
Talks·46 min
Tom Van de Wiele
Explores how cheap wireless and cyber pranks could become critical infrastructure attacks and how defenders can test them.


