Syllabus: Protocols and algorithms for electronic voting