Type-Based Verification of Web Sandboxes
Joe Gibbs Politz, Arjun Guha, Shriram Krishnamurthi
Journal of Computer Security, 2014
For accompanying artifacts, see http://cs.brown.edu/research/plt/dl/adsafety/v2/.
These papers may differ in formatting from the versions that appear in print. They are made available only to support the rapid dissemination of results; the printed versions, not these, should be considered definitive. The copyrights belong to their respective owners.