Úlfar Erlingsson Papers Automated Analysis of Security-Critical JavaScript APIs by Ankur Taly, Úlfar Erlingsson, John C. Mitchell, Mark S. Miller, and Jasvir Nagra