Le vote est un outil important pour la démocratie. Depuis plusieurs années de nombreux protocoles de vote électronique ont été développés basés sur des primitives cryptographiques avancées comme les ZKP. Quelles sont les propriétés de sécurité que ces protocoles doivent assurer ? De nombreuses techniques de vérification automatique de protocoles cryptographiques ont été développées pour vérifier ces protocoles. Enfin, nous verrons comment la blockchain peut aider à sécuriser les protocoles de votes électroniques.
