@article{Buckley_SWMMKH_23,
    author           = {Scott Buckley and Robert Sison and Nils Wistoff and Curtis Millar and Toby Murray and Gerwin Klein
                        and Gernot Heiser},
    howpublished     = {https://arxiv.org/pdf/2310.17046.pdf},
    journal          = {arXiv preprint arXiv:2310.17046},
    paperurl         = {https://trustworthy.systems/publications/papers/Buckley_SWMMKH_23.pdf},
    title            = {Proving the Absence of Microarchitectural Timing Channels},
    year             = {2023}
  }