Active Bibliography

1 GULFSTREAM: Staged Static Analysis for Streaming JavaScript Applications – Salvatore Guarnieri, Benjamin Livshits
ADsafety -- Type-Based Verification . . . – Joe Gibbs Politz , Spiridon Aristides Eliopoulos, Arjun Guha, Shriram Krishnamurthi
6 Gulfstream: Incremental Static Analysis for Streaming JavaScript Applications – Benjamin Livshits, Salvatore Guarnieri - 2010
16 Cross-Origin JavaScript Capability Leaks: Detection, Exploitation, and Defense – Adam Barth, Joel Weinberger, Dawn Song
Practical Static Analysis of JavaScript Applications in the Presence of Frameworks and Libraries – Magnus Madsen, Benjamin Livshits, Michael Fanning
51 CONSCRIPT: Specifying and Enforcing Fine-Grained Security Policies for JavaScript in the Browser – Benjamin Livshits, Leo Meyerovich - 2009
1 FOUNDATIONS OF WEB SCRIPT SECURITY – Aaron Bohannon - 2012
RETHINKING WEB PLATFORM EXTENSIBILITY – Mohan Dhawan - 2013
23 Analyzing Information Flow in JavaScript-based Browser Extensions – Mohan Dhawan, Vinod Ganapathy
57 Static Detection of Cross-Site Scripting Vulnerabilities – Gary Wassermann, Zhendong Su - 2008
AdJail: Practical Enforcement of Confidentiality and Integrity Policies on Web Advertisements – Mike Ter, Louw Karthik, Thotta Ganesh, V. N. Venkatakrishnan - 2009
41 AjaxScope: A Platform for Remotely Monitoring the Client-Side Behavior of Web 2.0 Applications – Emre Kiciman, Benjamin Livshits - 2010
SMash:SecureComponentModelforCross-Domain – Frederik De Keukelaere, Sumeer Bhola, Michael Steiner, Suresh Chari, Sachiko Yoshihama
9 Run-Time Enforcement of Secure JavaScript Subsets – Sergio Maffeis, John C. Mitchell, Ankur Taly
35 An Operational Semantics for JavaScript – Sergio Maffeis, John C. Mitchell, Ankur Taly
21 Language-based isolation of untrusted Javascript – Sergio Maffeis, Ankur Taly - 2009
17 Isolating JavaScript with Filters, Rewriting, and Wrappers – Sergio Maffeis, John C. Mitchell, Ankur Taly
6 TreeHouse: JavaScript sandboxes to help web developers help themselves – Lon Ingram, Michael Walfish - 2012
Flexible Access Control for JavaScript – Gregor Richards, Christian Hammer, Nardelli Suresh, Jagannathan Jan Vitek