A formal analysis of the Norwegian E-voting protocol - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012

A formal analysis of the Norwegian E-voting protocol


Norway has used e-voting in its last political election in September 2011, with more than 25 000 voters using the e-voting option. The underlying protocol is a new protocol designed by the ERGO group, involving several actors (a bulletin box but also a receipt generator, a decryption service, and an auditor). Of course, trusting the correctness and security of e-voting protocols is crucial in that context. Formal definitions of properties such as privacy, coercion-resistance or verifiability have been recently proposed, based on equivalence properties. \par In this paper, we propose a formal analysis of the protocol used in Norway, w.r.t. privacy, considering several corruption scenarios. Part of this study has conducted using the ProVerif tool, on a simplified model.

Dates and versions

hal-00732907 , version 1 (17-09-2012)



Véronique Cortier, Cyrille Wiedling. A formal analysis of the Norwegian E-voting protocol. 1st International Conference on Principles of Security and Trust (POST'12), Mar 2012, Tallinn, Estonia. pp.109--128, ⟨10.1007/978-3-642-28641-4_7⟩. ⟨hal-00732907⟩
130 View
0 Download



Gmail Facebook Twitter LinkedIn More