Skip to Main content Skip to Navigation
New interface
Conference papers

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.
Document type :
Conference papers
Complete list of metadata
Contributor : Véronique Cortier Connect in order to contact the contributor
Submitted on : Tuesday, November 4, 2014 - 9:54:55 PM
Last modification on : Friday, January 21, 2022 - 3:08:56 AM


  • HAL Id : hal-01080294, version 1


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



Record views