@inproceedings{Heiser_KM_19,
    address          = {Bertinoro, Italy},
    author           = {Heiser, Gernot and Klein, Gerwin and Murray, Toby},
    booktitle        = {Workshop on Hot Topics in Operating Systems (HotOS)},
    date             = {2019-5-12},
    doi              = {https://doi.org/10.1145/3317550.3321431},
    month            = may,
    pages            = {23-29},
    paperurl         = {https://trustworthy.systems/publications/full_text/Heiser_KM_19.pdf},
    publisher        = {ACM},
    title            = {Can We Prove Time Protection?},
    year             = {2019}
  }