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

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

Browse the full NDSS paper archive.