@inproceedings{Sison_Murray_19,
    address          = {Portland, USA},
    author           = {Sison, Robert and Murray, Toby},
    booktitle        = {International Conference on Interactive Theorem Proving},
    date             = {2019-9-6},
    doi              = {https://doi.org/10.4230/LIPIcs.ITP.2019.27},
    issn             = {18688969},
    month            = sep,
    pages            = {27:1--27:19},
    paperurl         = {https://trustworthy.systems/publications/full_text/Sison_Murray_19.pdf},
    publisher        = {Schloss Dagstuhl},
    title            = {Verifying That a Compiler Preserves Concurrent Value-Dependent Information-Flow Security},
    volume           = {141},
    year             = {2019}
  }