@inproceedings {180890,
	author = {Lorenzo Martignoni and Pongsin Poosankam and Matei Zaharia and Jun Han and Stephen McCamant and Dawn Song and Vern Paxson and Adrian Perrig and Scott Shenker and Ion Stoica},
	title = {Cloud Terminal: Secure Access to Sensitive Applications from Untrusted Systems},
	booktitle = {2012 USENIX Annual Technical Conference (USENIX ATC 12)},
	year = {2012},
	isbn = {978-931971-93-5},
	address = {Boston, MA},
	pages = {165--182},
	url = {https://www.usenix.org/conference/atc12/technical-sessions/presentation/martignoni},
	publisher = {USENIX Association},
	month = jun
}
@inproceedings {266527,
	author = {Chia Yuan Cho and Domagoj Babi{\'c} and Pongsin Poosankam and Kevin Zhijie Chen and Edward XueJun Wu and Dawn Song},
	title = {{MACE}: {Model-inference-Assisted} Concolic Exploration for Protocol and Vulnerability Discovery},
	booktitle = {20th USENIX Security Symposium (USENIX Security 11)},
	year = {2011},
	address = {San Francisco, CA},
	url = {https://www.usenix.org/conference/usenix-security-11/mace-model-inference-assisted-concolic-exploration-protocol-and},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {266576,
	author = {Steve Hanna and Rolf Rolles and Andr{\'e}s Molina-Markham and Pongsin Poosankam and Jeremiah Blocki and Kevin Fu and Dawn Song},
	title = {Take Two Software Updates and See Me in the Morning: The Case for Software Security Evaluations of Medical Devices},
	booktitle = {2nd USENIX Workshop on Health Security and Privacy (HealthSec 11)},
	year = {2011},
	address = {San Francisco, CA},
	url = {https://www.usenix.org/conference/healthsec11/take-two-software-updates-and-see-me-morning-case-software-security},
	publisher = {USENIX Association},
	month = aug
}
