@misc{Heiser_22:cyberuk,
    author           = {Gernot Heiser},
    howpublished     = {Invited Talk at the {CyberUK} Conference},
    location         = {Newport, UK},
    month            = may,
    title            = {Security is no excuse for poor performance: welcome to the world's most highly assured operating
                        system},
    url              = {https://trustworthy.systems/publications/papers/Heiser_22:cyberuk.abstract.pml},
    year             = {2022}
  }