Joe Gibbs Politz, Spiridon Aristides Eliopoulos, Arjun Guha, Shriram Krishnamurthi. ADsafety: Type-Based Verification of JavaScript Sandboxing. In 20th USENIX Security Symposium, San Francisco, CA, USA, August 8-12, 2011, Proceedings. USENIX Association, 2011. [doi]
@inproceedings{PolitzEGK11,
title = {ADsafety: Type-Based Verification of JavaScript Sandboxing},
author = {Joe Gibbs Politz and Spiridon Aristides Eliopoulos and Arjun Guha and Shriram Krishnamurthi},
year = {2011},
url = {http://static.usenix.org/events/sec11/tech/full_papers/Politz.pdf},
researchr = {https://researchr.org/publication/PolitzEGK11},
cites = {0},
citedby = {0},
booktitle = {20th USENIX Security Symposium, San Francisco, CA, USA, August 8-12, 2011, Proceedings},
publisher = {USENIX Association},
}