Devdatta Akhawe: Towards High Assurance HTML5 Applications. University of California, Berkeley, USA 2014