Typed-based verification of Web sandboxes

Joe Gibbs Politz, Arjun Guha, Shriram Krishnamurthi. Typed-based verification of Web sandboxes. Journal of Computer Security, 22(4):511-565, 2014. [doi]

Abstract

Abstract is missing.