title =        {Run-time monitoring and formal analysis of information flows in {Chromium}},
  author =       {Lujo Bauer and Shaoying Cai and Limin Jia and Timothy Passaro and Michael Stroucken and Yuan Tian},
  booktitle =    {Proceedings of the 22nd Annual Network & Distributed System Security Symposium},
  year =         2015,
  month =        feb,
  publisher =    {Internet Society},
  copyright =    {Internet Society},
  doi =          {10.14722/ndss.2015.23295},
  url =          {https://www.ece.cmu.edu/~lbauer/papers/2015/ndss2015-browser-info-flow.pdf},
  keywords =     {browser security, information-flow control, language-based security},