~/talk

Verifiable Elections—Now Is the Time

Talkat USENIX Security '26 · 2026-08-12..08-14· [security]
links:none on file
slides:none on file

Claims that elections become independently auditable using end-to-end verifiable systems that publish encrypted ballots to a public ledger, use homomorphic tallying or cryptographic commitments to compute totals, and provide voters short confirmation codes from devices like Hart Verity. Deployed systems include Scantegrity, ElectionGuard, Prêt‑à‑Voter and Belenios; practical audits show that a few dozen to a few hundred random voter checks will very likely detect tampering at the 1% scale. A simple card‑trick demo illustrates voter-side verification.

AI-written summary · about

  1. 0:00Election integrity work
  2. 1:46Election confidence crisis
  3. 3:50End-to-end verifiability
  4. 8:01Privacy with cryptography
  5. 12:15Verifiable elections in practice
  6. 15:47Risks of internet voting
  7. 17:14Cryptographic commitments
  8. 18:40Call for election reform
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.