Automated Analysis of Security-Critical JavaScript APIs.

Ankur Taly, lfar Erlingsson, John C. Mitchell, Mark S. Miller, Jasvir Nagra

Browse the full SP paper archive.