Lujo Bauer, Shaoying Cai, Limin Jia, Timothy Passaro, Michael Stroucken, Yuan Tian. Run-time Monitoring and Formal Analysis of Information Flows in Chromium. In 22nd Annual Network and Distributed System Security Symposium, NDSS 2015, San Diego, California, USA, February 8-11, 2014. The Internet Society, 2015. [doi]
Abstract is missing.