OPENCOUNT IMPROVED SUPPORT FOR MACHINE- ASSISTED BALLOT-LEVEL AUDITS EVT/WOTE 2013. Washington DC. 8/13/2013. Eric Kim, Nicholas Carlini, Andrew Chang,