@inproceedings{yang:2013:towards,
  title     = {Toward Principled Browser Security},
  author    = {Edward Yang and Deian Stefan and John Mitchell and David Mazi\`eres and Petr Marchenko and Brad Karp},
  booktitle = {Workshop on Hot Topics in Operating Systems (HotOS)},
  month     = {May},
  year      = {2013},
  publisher = {USENIX},
}