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]

Authors

Joe Gibbs Politz

This author has not been identified. Look up 'Joe Gibbs Politz' in Google

Spiridon Aristides Eliopoulos

This author has not been identified. Look up 'Spiridon Aristides Eliopoulos' in Google

Arjun Guha

This author has not been identified. It may be one of the following persons: Look up 'Arjun Guha' in Google

Shriram Krishnamurthi

Identified as Shriram Krishnamurthi