Patrick Baxter, Anne Edmundson, Keishla Ortiz, Ana Maria Quevedo, Samuel RodrÃguez, Cynthia Sturton, David Wagner. Automated Analysis of Election Audit Logs. In J. Alex Halderman, Olivier Pereira, editors, 2012 Electronic Voting Technology Workshop / Workshop on Trustworthy Elections, EVT/WOTE '12, Bellevue, WA, USA, August 6-7, 2012. USENIX Association, 2012. [doi]
Abstract is missing.