This paper describes the development of a framework for specifying and enforcing flexible information-flow policies on the Chromium web browser. Complementing ...

Run-time Monitoring and Formal Analysis of Information Flows in Chromium. Lujo Bauer Shaoying Cai*. Limin Jia Timothy Passaro Michael Stroucken Yuan Tian.

Run-Time Monitoring and Formal Analysis of Information Flows in Chromium. Page 2. Carnegie Mellon. 1. Websites increasingly host sensitive services. Passwords.

Feb 8, 2015 · This paper describes an approach for specifying and enforcing flexible information-flow policies on the Chromium web browser. Complementing ...

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

Sep 20, 2016 · In this talk, I will describe our approach for specifying and enforcing flexible information-flow policies on the Chromium web browser. In our ...

Run-time Monitoring and Formal Analysis of Information Flows in Chromium. L Bauer, S Cai, L Jia, T Passaro, M Stroucken, Y Tian. NDSS, 2015. 81, 2015.

共著者 ; Run-time Monitoring and Formal Analysis of Information Flows in Chromium. L Bauer, S Cai, L Jia, T Passaro, M Stroucken, Y Tian. NDSS, 2015. 81, 2015.

Run-time Monitoring and Formal Analysis of Information Flows in Chromium. L Bauer, S Cai, L Jia, T Passaro, M Stroucken, Y Tian. NDSS, 2015. 81, 2015. Monitors ...

Timothy Passaro's 5 research works with 404 citations, including: Run-time Monitoring and Formal Analysis of Information Flows in Chromium.