A Formal Approach to Coercion Resistance and Its Application to E-Voting

Stanislas Riou, Oksana Kulyk and David Yeregui Marcos del Blanco
Additional contact information
Stanislas Riou: ENS Rennes, 35170 Rennes, France
Oksana Kulyk: Center for Information Security and Trust, IT University of Copenhagen, Rued Langgaards Vej 7 DK, 2300 Copenhagen, Denmark
David Yeregui Marcos del Blanco: Department of Mechanic Engineering, Computer and Aerospacial Sciences, University of Leon, 24071 Leon, Spain

Mathematics, 2022, vol. 10, issue 5, 1-14

Abstract: The outbreak of the COVID-19 pandemic brought renewed attention to electronic voting—this time as a potential option to contain the spread during elections. One of the long unresolved topics with remote voting is the risk of voter’s coercion due to the uncontrolled environment in which it takes place, indicating the importance of the coercion resistance property. In the present article, the authors conduct a database analysis of over 350 articles to present different formal definitions of coercion resistance based on three frameworks (game-based definitions, applied pi-calculus, and logic). Finally, the different security properties of each one are studied and compared in order to facilitate the development of electronic voting schemes.

Keywords: electronic voting; coercion resistance; applied pi-calculus; temporal logics (search for similar items in EconPapers)
JEL-codes: C (search for similar items in EconPapers)
Date: 2022
References: View complete reference list from CitEc
Citations:

Downloads: (external link)
https://www.mdpi.com/2227-7390/10/5/781/pdf (application/pdf)
https://www.mdpi.com/2227-7390/10/5/781/ (text/html)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:gam:jmathe:v:10:y:2022:i:5:p:781-:d:761301

Access Statistics for this article

Mathematics is currently edited by Ms. Emma He

More articles in Mathematics from MDPI
Bibliographic data for series maintained by MDPI Indexing Manager ().