Designing Voting Machines for Verification (2006)

by N Sastry, D Wagner
Venue:In Proc. of the USENIX Security Symposium