The Prêt à voter verifiable election system

... several revisions and enhancements since its inception in 2004, resulting in a family of election systems designed to provide end-to-end verifiability and a high degree of transparency while ensuring secrecy of the ballot. Assurance for these systems arises from the auditability of the election itself, rather than the need to place trust in the system components. This paper brings together the variations of Prêt a ̀ Voter, presents their design, describes the voter experience, and considers the security properties that they provide