@inproceedings{d0cb1ad1fc494ff6a87ea1884d2633c2,
title = "Information flow monitor inlining",
abstract = "In recent years it has been shown that dynamic monitoring can be used to soundly enforce information flow policies. For programs distributed in source or bytecode form, the use of just-in-time (JIT) compilation makes it difficult to implement monitoring by modifying the language runtime system. An inliner avoids this problem and also serves to provide monitoring for more than one runtime. We show how to inline an information flow monitor, specifically a flow sensitive one previously proved to enforce termination insensitive noninterference. We prove that the inlined version is observationally equivalent to the original.",
keywords = "Information flow, Information security, Program transformation, Reference monitors",
author = "Andrey Chudnov and Naumann, {David A.}",
year = "2010",
doi = "10.1109/CSF.2010.21",
language = "English",
isbn = "9780769540825",
series = "Proceedings - IEEE Computer Security Foundations Symposium",
pages = "200--214",
booktitle = "23rd IEEE Computer Security Foundations Symposium, CSF 2010",
note = "23rd Computer Security Foundations Symposium, CSF 2010 ; Conference date: 17-07-2010 Through 19-07-2010",
}