@InProceedings{ClarksonCM08,
  author =	 {Michael R. Clarkson and Stephen Chong and Andrew C. Myers},
  title =	 {Civitas: Toward a Secure Voting System},
  month =	 may,
  year =	 2008,
  pages =	 {354--368},
  booktitle =	 {Proceedings of the 2008 {IEEE} Symposium on Security and Privacy},
  publisher =    {IEEE Press},
  address = 	 {Piscataway, NJ, USA}
}