Michael Stroucken

Publication Activity (10 Years)

Years Active: 2009-2015
Publications (10 Years): 0

Top Topics

Information Flows

Emergency Response

Formal Analysis

Top Venues

Publications

Lujo Bauer, Shaoying Cai, Limin Jia, Timothy Passaro, Michael Stroucken, Yuan Tian
Run-time Monitoring and Formal Analysis of Information Flows in Chromium. NDSS (2015)
Limin Jia, Jassim Aljuraidan, Elli Fragkaki, Lujo Bauer, Michael Stroucken, Kazuhide Fukushima, Shinsaku Kiyomoto, Yutaka Miyake
Run-Time Enforcement of Information-Flow Properties on Android - (Extended Abstract). ESORICS (2013)
Raja R. Sambasivan, Alice X. Zheng, Michael De Rosa, Elie Krevat, Spencer Whitman, Michael Stroucken, William Wang, Lianghong Xu, Gregory R. Ganger
Diagnosing Performance Changes by Comparing Request Flows. NSDI (2011)
Michael A. Kozuch, Michael P. Ryan, Richard Gass, Steven W. Schlosser, David R. O'Hallaron, James Cipar, Elie Krevat, Julio César López-Hernández, Michael Stroucken, Gregory R. Ganger
Tashi: location-aware cluster management. ACDC@ICAC (2009)