Séance de cours
Cette séance de cours couvre le système de vote électronique de la Poste suisse, en mettant l’accent sur la vérifiabilité individuelle. Il explique l'utilisation de protocoles vérifiables pour assurer l'intégrité des votes, l'importance de la vérifiabilité individuelle et universelle et la mise en œuvre du cryptage ElGamal. La séance de cours se penche également sur les preuves de zéro connaissance, les preuves de zéro connaissance non interactives et leurs applications dans le vote électronique. Il traite de la génération de codes de vérification, de la nécessité de preuves pour assurer l'intégrité du vote et des défis liés à la mise en œuvre du protocole. La présentation se termine par des informations sur la création de protocoles cryptographiques sécurisés et sur l’importance d’une mise en œuvre minutieuse pour maintenir la vérifiabilité.