Chapter 12 Prêt à Voter — The Evolution of the Species Peter Y. A. Ryan Department of Computing Science and Communications University of Luxembourg, Luxembourg
[email protected] Steve Schneider Department of Computer Science University of Surrey, UK
[email protected] Vanessa Teague Department of Computing and Information Systems University of Melbourne, Australia
[email protected] CONTENTS 12.1 Introduction ::::::::::::::::::::::::::::::::::::::::::::::::::::::: 311 12.1.1 End-to-End Verifiability ::::::::::::::::::::::::::::::::::: 311 12.2 Outline of Prêt à Voter ::::::::::::::::::::::::::::::::::::::::::::: 313 12.2.1 The Voting Ceremony ::::::::::::::::::::::::::::::::::::: 313 12.2.2 Vote Counting ::::::::::::::::::::::::::::::::::::::::::::: 314 12.2.3 Advantages of Prêt à Voter ::::::::::::::::::::::::::::::::: 316 12.3 Auditing the Election :::::::::::::::::::::::::::::::::::::::::::::: 317 12.3.1 Auditing the Ballot Generation Authority :::::::::::::::::: 317 309 310 Real-World Electronic Voting: Design, Analysis and Deployment 12.3.2 Auditing Mixing and Decryption ::::::::::::::::::::::::::: 318 12.3.2.1 Auditing the Mixes ::::::::::::::::::::::::::::: 318 12.3.2.2 Auditing the Decryption Tellers ::::::::::::::::: 318 12.4 Cryptographic Components :::::::::::::::::::::::::::::::::::::::: 319 12.4.1 Decryption Mixes ::::::::::::::::::::::::::::::::::::::::: 319 12.4.2 Re-encryption Mix-nets ::::::::::::::::::::::::::::::::::: 320 12.4.2.1 Re-encryption Mixes with Cyclic Shifts ::::::::: 320 12.4.2.2 Re-encryption