@inproceedings{Murray_SE_18, address = {London, United Kingdom}, 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} }