@inproceedings{Sison_BMKH_23,
    address          = {L\"{u}beck, DE},
    artefact         = {https://doi.org/10.5281/zenodo.7340166},
    author           = {Sison, Robert and Buckley, Scott and Murray, Toby and Klein, Gerwin and Heiser, Gernot},
    booktitle        = {International Symposium on Formal Methods (FM)},
    date             = {March 6-10, 2023},
    doi              = {10.1007/978-3-031-27481-7_8},
    keywords         = {timing channels, theorem proving, formal security definitions, information-flow security, operating
                        systems},
    month            = mar,
    numpages         = {19},
    paperurl         = {https://trustworthy.systems/publications/papers/Sison_BMKH_23.pdf},
    publisher        = {Springer},
    title            = {Formalising the Prevention of Microarchitectural Timing Channels by Operating Systems},
    year             = {2023}
  }