Designing voting machines for verification. In: (2006)

by N Sastry, T Kohno, D Wagner
Venue:Proceedings of the 15th conference on USENIX Security Symposium , vol. Volume 15, USENIX Association,