@misc{indiciae0efb50ad60c7,
  title = {Types for Information Flow Control: Labeling Granularity and Semantic Models},
  author = {Vineet Rajani and Deepak Garg},
  year = {2018},
  doi = {10.1109/csf.2018.00024},
  url = {https://arxiv.org/abs/1805.00120},
  note = {Source identifier: 1805.00120}
}