Andrew Appel Bio & Contact
Research Interests:
program verification,
computer security,
programming language semantics,
machine-checked proofs, compilers,
and election technology.
Current work: I work on formally verified numerical methods for scientific computing, and on the technology policy of voting machines and elections.
Technology policy work: voting machines
Selected recent articles: (more here and here)
Securing the Vote — National Academies report
Florida is the Florida of ballot-design mistakes
Pilots of risk-limiting election audits in California and Virginia
BMDs are not meaningfully auditable
Did Sean Hannity misquote me?
Georgia’s election avoided an even worse nightmare...
New Hampshire Election Audit, part 1; and part 2
Magical thinking about BMD contingency plans
Is Internet Voting Secure? The Science and the Policy Battles
Why the voting machines failed in Mercer County
Unrecoverable Election Screwup in Williamson County TX
Suggested Principles for State Statutes Regarding Ballot Marking and Vote Tabulation
CAC-Vote: Another Insecure Internet Voting System
Flaky paper won’t secure our elections without a protocol to go with it
Paper fingerprinting and ballot tracking