@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},
  volume     = {19},
  number     = {2},
  pages      = {115 -- 129},
  issn       = {2214-2126},
  doi        = {10.1016/j.jisa.2014.04.005}
}