Automated Analysis of Election Audit Logs. - Patrick Baxter; Anne Edmundson; Keishla Ortiz; Ana Maria Quevedo; Samuel Rodríguez; Cynthia Sturton; David A. Wagner 001 (EVT/WOTE, 2012)