
A paper by Vineet Rajani and Deepak Garg has been honored as a distinguished paper at the upcoming 31st IEEE Symposium on Computer Security Foundations (CSF 2018). The paper is titled "Types for Information Flow Control: Labeling Granularity and Semantic Models".