User: Guest  Login
Enrico Lovat, Martin Ochoa, Alexander Pretschner
Sound and Precise Cross-Layer Data Flow Tracking
We present a general model that connects runtime monitors for data flow tracking at different abstraction layers (e.g. a browser, a mail client, an operating system) and show that this model is sound with respect to a formal notion of explicit information flow. This is useful because, although the semantics of higher-level events at a single layer can be exploited to increase the precision of the analysis, other abstraction levels need to be considered as well in order to obtain system-wide guar...    »