@TechReport{ClarksonCM08tr,
  author =	 {Michael R. Clarkson and Stephen Chong and Andrew C. Myers},
  title =	 {Civitas: Toward a Secure Voting System},
  month =	 may,
  year =	 2008,
  institution =	 {Cornell University Computing and Information Science},
  number =	 {2007-2081}
}