Formal verification of E-voting: solutions and challenges

Formal verification of E-voting: solutions and challenges. Véronique Cortier. 3rd SigLog Newsletter, ACM Special Interest Group on Logic and Computation, 2(1):25–34, January 2015.

Download

[HTML]

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.

BibTeX

@Article{SigLog2015,
  author = 	 {V\'eronique Cortier},
  title = 	 {Formal verification of E-voting: solutions and challenges},
  journal = 	 {3rd SigLog Newsletter, ACM Special Interest Group on Logic and Computation},
  year = 	 {2015},
  OPTkey = 	 {},
  volume = 	 {2},
  number = 	 {1},
  pages = 	 {25-34},
  month = 	 {January},
  OPTnote = 	 {},
  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.},
  OPTannote = 	 {},
}