Flexible Dynamic Information Flow Control in the Presence of Exceptions

Deian Stefan, Alejandro Russo, John C. Mitchell +1

We describe a new, dynamic, floating-label approach to language-based information flow control. A labeled IO monad, LIO, keeps track of a current label and permits restricted acces…