@inproceedings {266529,
	author = {Joe Gibbs Politz and Spiridon Aristides Eliopoulos and Arjun Guha and Shriram Krishnamurthi},
	title = {{ADsafety}: {Type-Based} Verification of {JavaScript} Sandboxing},
	booktitle = {20th USENIX Security Symposium (USENIX Security 11)},
	year = {2011},
	address = {San Francisco, CA},
	url = {https://www.usenix.org/conference/usenix-security-11/adsafety-type-based-verification-javascript-sandboxing},
	publisher = {USENIX Association},
	month = aug
}
