@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 }