You are here

Run-time Monitoring and Formal Analysis of Information Flows in Chromium

Download File

Date: 7 Feb 2015

Document Type: Briefing Papers

Tags: NDSS
, NDSS2015
Additional documents: PDF icon 09Chromium.slide_.pdf

Associated event: NDSS Symposium 2015

Lujo Bauer, Shaoying Cai, Limin Jia, Timothy Passaro, Michael Stroucken, Yuan Tian