Secrecy and Verifiability: An Introduction to Electronic Voting. - Paul Keeler; Ben Smyth (CoRR, 2026)