An Overview of End-to-End Verifiable Voting Systems. - Syed Taha Ali; Judy Murray (CoRR, 2016)