For:
Foundations of Secure Web Programming > Language-based Web Security
http://wp.doc.ic.ac.uk/fswp/project/securing-the-interaction-between-trusted-and-untrusted-javascript-code/