Information-Flow Security for a Core of JavaScript
The Essence of JavaScript