My notes for Ben Adida’s Helios Election System can be viewed here:
https://wrmack.github.io/helios-server-notes