@misc{Heiser_23:iwsec,
    author           = {Gernot Heiser},
    howpublished     = {Keynote at the International Workshop on Advanced Industrial Science and Technology},
    location         = {Yokohama, JP},
    month            = sep,
    title            = {The {seL4} Microkernel: Provable Security for the Real World},
    url              = {https://trustworthy.systems/publications/papers/Heiser_23:iwsec.abstract.pml},
    year             = {2023}
  }