@misc{Heiser_24:dsn,
    author           = {Gernot Heiser},
    howpublished     = {Keynote at International Conference on Dependable Systems and Networks (DSN)},
    month            = jun,
    title            = {{LionsOS}: Towards a truly dependable operating system},
    year             = {2024}
  }