@inproceedings {268503,
	author = {Alexander Moshchuk and Tanya Bragin and Damien Deville and Steven D. Gribble and Henry M. Levy},
	title = {{SpyProxy}: Execution-based Detection of Malicious Web Content},
	booktitle = {16th USENIX Security Symposium (USENIX Security 07)},
	year = {2007},
	address = {Boston, MA },
	url = {https://www.usenix.org/conference/16th-usenix-security-symposium/spyproxy-execution-based-detection-malicious-web-content},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {270459,
	author = {Damien Deville and Gilles Grimaud},
	title = {Building an "Impossible" Verifier on a Java Card},
	booktitle = {2nd Workshop on Industrial Experiences with Systems Software (WIESS 02)},
	year = {2002},
	address = {Boston, MA},
	url = {https://www.usenix.org/conference/wiess-02/building-impossible-verifier-java-card},
	publisher = {USENIX Association},
	month = dec
}
