@inproceedings{ezyang13-browser, title = {Toward Principled Browser Security}, author = {Edward Z. Yang and Deian Stefan and John Mitchell and David Mazi\`eres and Petr Marchenko and Brad Karp }, booktitle = {The 14th Workshop on Hot Topics in Operating Systems (HotOS XIV)}, year = {2013}, organization = {USENIX} }