Carnegie Mellon University
Browse

Formal Analysis and Run-time Monitoring of Information Flows in Chromium: Technical Appendix (CMU-CyLab-14-015)

Download (716.99 kB)
journal contribution
posted on 2015-02-01, 00:00 authored by Ljudevit BauerLjudevit Bauer, Shaoying Cai, Timothy Passaro, Michael Stroucken, Yuan TianYuan Tian

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

History

Date

2015-02-01

Usage metrics

    Categories

    Keywords

    CyLabtech reportComputer System Security

    Licence

    In Copyright

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC