Automated Analysis of Security-Critical JavaScript APIs Download Abstract Authors Ankur Taly Úlfar Erlingsson John C. Mitchell Mark S. Miller Jasvir Nagra Venue IEEE Symposium on Security & Privacy (SP), IEEE (2011) Research Areas Formal Reasoning Publication Year 2011 Currently, only the PDF version of this paper is available. To read, please download the PDF above.
