Skip to main content

Technical Reports: CMU-CyLab-14-015

Title:Formal Analysis and Run-time Monitoring of Information Flows in Chromium: Technical Appendix
Authors:Lujo Bauer, Shaoying Cai, Limin Jia, Timothy Passaro, Michael Stroucken, and Yuan Tian
Publication Date:February 1, 2015


This document is the technical appendix for the following paper:

L. Bauer, S. Cai, L. Jia, T. Passaro, M. Stroucken, and Y. Tian. Run-time monitoring and formal analysis of information
flows in Chromium. In Proceedings of the 22nd Annual Network & Distributed Security Symposium, February
2015. DOI: 10.14722/ndss.2015.23295

Full Report: CMU-CyLab-14-015