Designing voting machines for verification (2006)

by N Sastry, T Kohno, D Wagner
Venue:In USENIX Security Symposium