@COMMENT This file was generated by bib2html.pl <https://sourceforge.net/projects/bib2html/> version 0.94
@COMMENT written by Patrick Riley <http://sourceforge.net/users/patstg/>
@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 = 	 {},
}