Analysis of an electronic Boardroom Voting System

Mathilde Arnaud 1 Véronique Cortier 1 Cyrille Wiedling 1
1 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174), Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : We study a simple electronic boardroom voting system. While most existing systems rely on opaque electronic devices, a scientific committee of a research institute (the CNRS Section 07) has recently proposed an alternative system. Despite its simplicity (in particular, no use of cryptography), each voter can check that the outcome of the election corresponds to the votes, without having to trust the devices. In this paper, we present three versions of this system, exhibiting potential attacks. We then formally model the system in the applied pi-calculus, and prove that two versions ensure both vote correctness (even if the devices are corrupted) and ballot secrecy (assuming the devices are honest).
Type de document :
Communication dans un congrès
James Heather and Steve Schneider and Vanessa Teague. VoteID'13 - 4th International Conference on e-Voting and Identity - 2013, Jul 2013, Guildford, United Kingdom. Springer, 7985, pp.109-126, 2013, Lecture Notes in Computer Science. 〈10.1007/978-3-642-39185-9_7〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00881011
Contributeur : Véronique Cortier <>
Soumis le : jeudi 7 novembre 2013 - 11:53:02
Dernière modification le : vendredi 6 juillet 2018 - 15:06:10

Identifiants

Citation

Mathilde Arnaud, Véronique Cortier, Cyrille Wiedling. Analysis of an electronic Boardroom Voting System. James Heather and Steve Schneider and Vanessa Teague. VoteID'13 - 4th International Conference on e-Voting and Identity - 2013, Jul 2013, Guildford, United Kingdom. Springer, 7985, pp.109-126, 2013, Lecture Notes in Computer Science. 〈10.1007/978-3-642-39185-9_7〉. 〈hal-00881011〉

Partager

Métriques

Consultations de la notice

245