@inproceedings {179536,
	title = {Automated Analysis of Election Audit Logs},
	booktitle = {2012 Electronic Voting Technology Workshop/Workshop on Trustworthy Elections (EVT/WOTE 12)},
	year = {2012},
	address = {Bellevue, WA},
	url = {https://www.usenix.org/conference/evtwote12/workshop-program/presentation/Baxter},
	publisher = {USENIX Association},
	month = aug
}
