Electronic Voting: How Logic Can Help

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 : Electronic voting should offer at least the same guarantees than traditional paper-based voting systems. In order to achieve this, electronic voting protocols make use of cryptographic primitives, as in the more traditional case of authentication or key exchange protocols. All these protocols are notoriously difficult to design and flaws may be found years after their first release. Formal models, such as process algebra, Horn clauses, or constraint systems, have been successfully applied to automatically analyze traditional protocols and discover flaws. Electronic voting protocols however significantly increase the difficulty of the analysis task. Indeed, they involve for example new and sophisticated cryptographic primitives, new dedicated security properties, and new execution structures. After an introduction to electronic voting, we describe the current techniques for e-voting protocols analysis and review the key challenges towards a fully automated verification.
Type de document :
Communication dans un congrès
12th International Joint Conference on Automated Reasoning (IJCAR 2014), Jul 2014, Vienne, Austria. 2014
Liste complète des métadonnées

https://hal.inria.fr/hal-01080294
Contributeur : Véronique Cortier <>
Soumis le : mardi 4 novembre 2014 - 21:54:55
Dernière modification le : vendredi 6 juillet 2018 - 15:06:10

Identifiants

  • HAL Id : hal-01080294, version 1

Citation

Véronique Cortier. Electronic Voting: How Logic Can Help. 12th International Joint Conference on Automated Reasoning (IJCAR 2014), Jul 2014, Vienne, Austria. 2014. 〈hal-01080294〉

Partager

Métriques

Consultations de la notice

281