For:
Foundations of Secure Web Programming > Language-based Web Security
http://wp.doc.ic.ac.uk/fswp/project/jscert-formalization-of-the-javascript-programming-language/
