Run-time Monitoring and Formal Analysis of Information Flows in Chromium
Lujo Bauer, Shaoying Cai, Limin Jia, Timothy Passaro, Michael Stroucken, Yuan Tian · 2015
Author(s): Lujo Bauer, Shaoying Cai, Limin Jia, Timothy Passaro, Michael Stroucken, Yuan Tian Download: Paper (PDF) Date: 7 Feb 2015 Document Type: Briefing Papers Additional Documents: Slides Associated Event: NDSS Symposium 2015 Abstract: Web browsers are a key enabler of a wide range of online services, from shopping and email, to banking and health services. … Continued