Multiple Speakers (Auditorium, Room 116 and the 2nd Floor Interaction Area)
Breakout Session Track #1
Speaker: Vanessa Teague, University of Melbourne
Title: End-to-end verifiable voting in a state election
Abstract: Electronic voting computations clearly need to be verifiable, in the sense of providing a public proof that all encrypted votes have been correctly counted. The e-voting literature also includes interesting protocols for ensuring that a voter (who cannot perform cryptographic computations directly) can nevertheless gain some evidence that her vote has been cast as she intended. We describe a system with both these kinds of verifiability, based on the Prêt à Voter end-to-end verifiable voting system. The system ran successfully in the state election in Victoria (Australia) in November 2014, taking a total of 1121 votes from supervised polling places inside Victoria and overseas.
Joint work with Craig Burton, Chris Culnane, Peter Y A Ryan and Steve Schneider.
Breakout Session Track #2
Breakout Session Track #3