ADsafety: Type-Based Verification of JavaScript Sandboxing
Towards a Formal Foundation of Web Security