Types for Information Flow Control: Labeling Granularity and Semantic Models

Vineet Rajani, Deepak Garg
January 2018
Cite DOI URL
Type
Conference paper
Publication
31st IEEE Computer Security Foundations Symposium, CSF 2018, Oxford, United Kingdom, July 9-12, 2018