@article{Sison_Murray_21,
    author           = {Sison, Robert and Murray, Toby},
    doi              = {10.1017/S0956796821000162},
    journal          = {Journal of Functional Programming},
    pages            = {e18},
    paperurl         = {https://trustworthy.systems/publications/papers/Sison_Murray_21.pdf},
    publisher        = {Cambridge University Press},
    title            = {Verified secure compilation for mixed-sensitivity concurrent programs},
    volume           = {31},
    year             = {2021}
  }