To dream the impossible dream: Toward security analysis for JavaScriptJulian Dolby2014PLAS 2014Workshop paper