Abstract
This thesis is about the cryptographic voting protocol Prêt à Voter. This is a protocol that has been used in elections and could be applied to more in the future, whether it be electronic or traditional elections. Some variations that have been or could be attempted are described, and the differences are discussed. Then two particular variations are described in detail. Finally the security of the protocols is demonstrated, in terms of
privacy, coercion-resistance, and verifiability.