Themis: an On-Site Voting System with Systematic Cast-as-intended Verification and Partial Accountability
Résumé
We propose an on-site voting system Themis, that aims at improving security when local authorities are not fully trusted. Voters vote thanks to voting sheets as well as smart cards that produce encrypted ballots. Electronic ballots are systematically audited, without compromising privacy. Moreover, the system includes a precise dispute resolution procedure identifying misbehaving parties. We conduct a full formal analysis of Themis using ProVerif, with a novel approach in order to cover the modular arithmetic needed in our protocol. In order to evaluate the usability of our system, we organized a voting experiment on a (small) group of voters.
Domaines
Cryptographie et sécurité [cs.CR]
Fichier principal
main (2).pdf (1.29 Mo)
Télécharger le fichier
proverif-models.zip (756.82 Ko)
Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
