Automating Voting Terminal Event Log Analysis Tigran Antonyan, Seda Davtyan, Sotiris Kentros, Aggelos Kiayias, Laurent Michel, Nicolas Nicolaou, Alexander Russell and Alexander Shvartsman In Proceedings of the 2009 USENIX/ACCURATE Electronic Voting Workshop (EVT 09) August 10–14, 2009, Montreal, Canada www.usenix.org/events/evtwote09/ Abstract In the interest of auditing election procedures, certain electronic voting technologies provide monitoring capabilities […]