watch the film

Decision-making is broken

National elections, boardrooms, crypto, unfit systems adjudicate

Abstract

An annotated tour of my work on free and fair elections, in the line of argument that produced it. Secrecy for freedom: ballot secrecy formalised as indistinguishability, a blueprint for building voting systems from non-malleable encryption, and the attacks on Helios that motivated it. Verifiability for legitimacy: definitions of individual, universal and election verifiability, and what they miss. Score for influence: sidestepping Arrow's impossibility. Each result is set beside the tutorials and technical publications that carry it.

$ curl -s https://publications.bensmyth.com/files/Smyth24-annotated-biography.bib | cat
@unpublished{Smyth24-annotated-biography,
  title = {{Annotated biography:}}
        # {{ Free \& fair elections}},
  year = {2025}, author = {Ben Smyth},
  url = {./},
  url-pdf = {./files/annotated-biography.pdf},
  url-bib = {./files/annotated-biography.bib},
  url-yaml = {./files/annotated-biography.yml},
  url-md = {./files/annotated-biography.md}
}