Using Pret a Voter in Victorian State elections

The Pret a Voter cryptographic voting system was designed to be flexible and to off er voters a familiar and easy voting experience. In this paper we present a case study of our e fforts to adapt Pret a Voter to the idiosyncrasies of elections in the Australian state of Victoria. The general background and desired user experience have previously been described; here we concentrate on the cryptographic protocols for dealing with some unusual aspects of Victorian voting. We explain the problems, present solutions, then analyse their security properties and explain how they tie in to other design decisions. We hope this will be an interesting case study on the application of end-to-end verifi able voting protocols to real election