@inproceedings{backes08automated,
  author       = {Backes, Michael and Hritcu, Catalin and Maffei, Matteo},
  title        = {Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-calculus},
  booktitle    = {Proceedings of 21st IEEE Computer Security Foundations Symposium (CSF)},
  month        = {June},
  year         = {2008}
}