Tamara Rezk and Nataliia Bielova have a new paper accepted to the International Conference on Principles of Security and Trust (POST’16). This paper offers a rigorous comparison of existing information flow monitors with respect to two dimensions: soundness and transparency.
- A Taxonomy of Information Flow Monitors
Nataliia Bielova and Tamara Rezk.