@misc{Heiser_23:ssiv,
    author           = {Gernot Heiser},
    howpublished     = {Keynote at the International Workshop on Safety and Security of Intelligent Vehicles},
    location         = {Porto, PT},
    month            = jun,
    title            = {Intelligent Vehicle Security Needs a Verified Operating System },
    url              = {https://trustworthy.systems/publications/papers/Heiser_23:ssiv.abstract.pml},
    year             = {2023}
  }