@inproceedings {268869,
	author = {Naveen Sastry},
	title = {Designing Voting Machines for Verification},
	booktitle = {15th USENIX Security Symposium (USENIX Security 06)},
	year = {2006},
	address = {Vancouver, B.C. Canada},
	url = {https://www.usenix.org/conference/15th-usenix-security-symposium/designing-voting-machines-verification},
	publisher = {USENIX Association},
	month = jul
}
