TY  - RPRT
TI  - Types for Information Flow Control: Labeling Granularity and Semantic Models
AU  - Vineet Rajani
AU  - Deepak Garg
PY  - 2018
DO  - 10.1109/csf.2018.00024
UR  - https://arxiv.org/abs/1805.00120
ID  - 1805.00120
ER  -