Formal verification of e-voting: solutions and challenges

Véronique Cortier 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 : In the last ten years, electronic voting has been used in an ever growing number of elections. There are many reasons for this development. First, some election modes require a mechanized way for counting since the number of questions or the number of choices is too large for a manual counting. Electronic voting also allows one to vote from home, possibly avoiding long travels. Sometimes, it simply follows the trend of using Internet in our daily life.
Type de document :
Article dans une revue
SigLog Newsletter, ACM Special Interest Group on Logic and Computation, 2015, 2, pp.25-34. 〈10.1145/2728816.2728823〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01206297
Contributeur : Véronique Cortier <>
Soumis le : lundi 28 septembre 2015 - 17:11:13
Dernière modification le : vendredi 6 juillet 2018 - 15:06:10

Identifiants

Citation

Véronique Cortier. Formal verification of e-voting: solutions and challenges. SigLog Newsletter, ACM Special Interest Group on Logic and Computation, 2015, 2, pp.25-34. 〈10.1145/2728816.2728823〉. 〈hal-01206297〉

Partager

Métriques

Consultations de la notice

326