Run-time monitoring and formal analysis of information flows in Chromium.   [PDF, BibTeX, ]
Lujo Bauer, Shaoying Cai, Limin Jia, Timothy Passaro, Michael Stroucken, and Yuan Tian.
In Proceedings of the 22nd Annual Network & Distributed System Security Symposium, February 2015. Internet Society. © Internet Society  DOI:10.14722/ndss.2015.23295