@inproceedings{Murray_SE_18,
    address          = {London, UK},
    author           = {Murray, Toby and Sison, Robert and Engelhardt, Kai},
    booktitle        = {European Conference on Security and Privacy (EuroS\&P)},
    date             = {2018-4-24},
    month            = apr,
    paperurl         = {https://trustworthy.systems/publications/full_text/Murray_SE_18.pdf},
    publisher        = {IEEE},
    title            = {{COVERN}: {A} Logic for Compositional Verification of Information Flow Control},
    year             = {2018}
  }