@inproceedings{Murray_MBGK_12,
    address          = {Kyoto, Japan},
    author           = {Murray, Toby and Matichuk, Daniel and Brassil, Matthew and Gammie, Peter and Klein, Gerwin},
    booktitle        = {International Conference on Certified Programs and Proofs},
    editor           = {{Chris Hawblitzel and Dale Miller}},
    isbn             = {978-3-642-35307-9},
    keywords         = {information flow, refinement, scheduling, state monads},
    month            = dec,
    pages            = {126--142},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/6004.pdf},
    publisher        = {Springer},
    title            = {Noninterference for Operating System Kernels},
    year             = {2012}
  }