ADsafety: Type-Based Verification of JavaScript Sandboxing

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.