Eric Kim, Nicholas Carlini, Andrew Chang, George Yiu, Kai Wang, David Wagner. Improved Support for Machine-assisted Ballot-level Audits. In 2013 Electronic Voting Technology Workshop / Workshop on Trustworthy Elections, EVT/WOTE '13, Washington, D.C., USA, August 12-13, 2013. USENIX Association, 2013. [doi]
Abstract is missing.