Keyword:information flow

Papers
Racets: Faceted Execution in Racket Kristopher Micinski, Zhanpeng Wang and Thomas Gilray EasyChair Preprint no. 502
The Future Mechanism and Information Flow Security Farzane Karami, Christian Johansen, Olaf Owe and Gerardo Schneider EasyChair Preprint no. 499