Skip to Main content Skip to Navigation
Conference papers

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).
Document type :
Conference papers
Complete list of metadatas
Contributor : Véronique Cortier <>
Submitted on : Thursday, November 7, 2013 - 11:53:02 AM
Last modification on : Tuesday, December 18, 2018 - 4:38:25 PM

Links full text



Mathilde Arnaud, Véronique Cortier, Cyrille Wiedling. Analysis of an electronic Boardroom Voting System. VoteID'13 - 4th International Conference on e-Voting and Identity - 2013, Jul 2013, Guildford, United Kingdom. pp.109-126, ⟨10.1007/978-3-642-39185-9_7⟩. ⟨hal-00881011⟩



Record views