@unpublished{Smyth24-annotated-biography, author = {Ben Smyth}, title = {{Annotated biography:}} # {{ Free \& fair elections}}, year = {2025}, url = {https://publications.bensmyth.com/2024-annotated-biography/}, url-pdf = {https://publications.bensmyth.com/files/Smyth24-annotated-biography.pdf}, url-bib = {https://publications.bensmyth.com/files/Smyth24-annotated-biography.bib}, url-yaml = {https://publications.bensmyth.com/files/Smyth24-annotated-biography.yml}, url-md = {https://publications.bensmyth.com/files/Smyth24-annotated-biography.md}, keywords = {voting, secrecy, verifiability, social choice, election system, electronic voting, e-voting, annotated bibliography}, 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.} }