Design and Cryptanalysis of E-Voting Protocols Workshop