David L. Dill Tadayoshi Kohno 2008 USENIX/ACCURATE Electronic Voting Workshop, July 28-29, 2008, San Jose, CA, USA, Proceedings EVT USENIX Association 2008 db/conf/uss/evt2008.html