Rajani, Vineet Group D. Garg, Max Planck Institute for Software Systems, Max Planck Society;
Garg, Deepak Group D. Garg, Max Planck Institute for Software Systems, Max Planck Society;
Rajani, V., & Garg, D. (2018). Types for Information Flow Control: Labeling Granularity and Semantic Models. In IEEE 31th Computer Security Foundations Symposium (pp. 233-246). Piscataway, NJ: IEEE. doi:10.1109/CSF.2018.00024.