Aliand Murray. An Overview of End-to-end Verifiable Voting Systems. 27 May 2016.