MPI-SWS researchers have a distinguished paper at CSF 2018

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“.