Adsafety: Typebased verification of JavaScript sandboxing (2011)

by G J Politz, S A Aliopoulos, A Guha, S Krishnamurthi
Venue:In USENIX Security Symposium