Date of Original Version

2-1-2015

Type

Technical Report

Abstract or Description

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

Share

COinS