Analysis of an electronic Boardroom Voting System - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2013

Analysis of an electronic Boardroom Voting System


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).

Dates and versions

hal-00881011 , version 1 (07-11-2013)



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⟩
144 View
0 Download



Gmail Facebook X LinkedIn More