TY  - RPRT
TI  - ADsafety: Type-Based Verification of JavaScript Sandboxing
AU  - Joe Gibbs Politz
AU  - Spiridon Eliopoulos
AU  - Arjun Guha
AU  - Shriram Krishnamurthi
PY  - 2015
UR  - https://arxiv.org/abs/1506.07813
ID  - 1506.07813
ER  -