ADsafety: Type-Based Verification of JavaScript Sandboxing

TitleADsafety: Type-Based Verification of JavaScript Sandboxing
Publication TypeConference Paper
Year of Publication2011
AuthorsPolitz JGibbs, Eliopoulos SAristides, Guha A, Krishnamurthi S
Conference Name20th USENIX Security Symposium (USENIX Security 11)
Date Published08/2011
PublisherUSENIX Association
Conference LocationSan Francisco, CA
URLhttps://www.usenix.org/conference/usenix-security-11/adsafety-type-based-verification-javascript-sandboxing