@article{Heiser_MK_20,
    author           = {Heiser, Gernot and Murray, Toby and Klein, Gerwin},
    date             = {2020-8-31},
    doi              = {https://doi.org/10.1145/3421473.3421475},
    issn             = {0163-5980},
    issue            = {1},
    journal          = {ACM Operating Systems Review},
    keywords         = {sel4 microkernels covert channels information security information leakage protection timing
                        channels formal methods},
    month            = aug,
    pages            = {1-7},
    paperurl         = {https://trustworthy.systems/publications/full_text/Heiser_MK_20.pdf},
    publisher        = {ACM SIGOPS},
    title            = {Towards Provable Timing-Channel Prevention},
    volume           = {54},
    year             = {2020}
  }