@inproceedings {179231, author = {Eric Kim and Nicholas Carlini and Andrew Chang and George Yiu and Kai Wang and David Wagner}, title = {Improved Support for Machine-assisted Ballot-level Audits}, booktitle = {2013 Electronic Voting Technology Workshop/Workshop on Trustworthy Elections (EVT/WOTE 13)}, year = {2013}, address = {Washington, D.C.}, url = {https://www.usenix.org/conference/evtwote13/workshop-program/presentation/kim}, publisher = {USENIX Association}, month = aug }