@inproceedings{ varch-usenix06,
  author = "Naveen Sastry and Tadayoshi Kohno and David Wagner",
  title = "Designing voting machines for verification"
  booktitle = "Fifteenth USENIX Security Symposium (USENIX Security 2006)",
  month = "August",
  year = 2006 }