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

Stanislas Riou, Oksana Kulyk, David Yeregui Marcos del Blanco

Publikation: Artikel i tidsskrift og konference artikel i tidsskriftTidsskriftartikelForskningpeer review

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.
OriginalsprogEngelsk
TidsskriftMathematics
ISSN2227-7390
DOI
StatusUdgivet - 2022

Emneord

  • electronic voting
  • coercion resistance
  • applied pi-calculus
  • temporal logics

Fingeraftryk

Dyk ned i forskningsemnerne om 'A Formal Approach to Coercion Resistance and Its Application to E-Voting'. Sammen danner de et unikt fingeraftryk.

Citationsformater