@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
}
@inproceedings {269267,
	author = {Chris Karlof and Naveen Sastry and David Wagner},
	title = {Cryptographic Voting Protocols: A Systems Perspective},
	booktitle = {14th USENIX Security Symposium (USENIX Security 05)},
	year = {2005},
	address = {Baltimore, MD},
	url = {https://www.usenix.org/conference/14th-usenix-security-symposium/cryptographic-voting-protocols-systems-perspective},
	publisher = {USENIX Association},
	month = jul
}
@inproceedings {270143,
	author = {Pete Broadwell and Matt Harren and Naveen Sastry},
	title = {Scrash: A System for Generating Secure Crash Information},
	booktitle = {12th USENIX Security Symposium (USENIX Security 03)},
	year = {2003},
	address = {Washington, D.C.},
	url = {https://www.usenix.org/conference/12th-usenix-security-symposium/scrash-system-generating-secure-crash-information},
	publisher = {USENIX Association},
	month = aug
}
