61 citations · 170 across the 18 of their papers we have counts for
1 paper · 2 filters
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…