This page shows all presentations of this author published in EasyChair Smart Slide.
Types for Information Flow Control: Labeling Granularity and Semantic Models
Vineet Rajani and Deepak Garg