@article{BeckertGoreSchuermannEA2014,
  title      = {Verifying Voting Schemes},
  author     = {Bernhard Beckert and Rajeev Gor\'e and Carsten Sch\"urmann and 
                Thorsten Bormer and Jian Wang},
  journal    = {Journal of Information Security and Applications},
  ISSN       = {2214-2126},
  year       = {2014}
}