@misc{Heiser_23:sel4s,
    author           = {Gernot Heiser},
    howpublished     = {Talk at the 5th {seL4} {Summit}},
    location         = {Minneapolis, MN, US},
    title            = {{R&D} Update from {Trustworthy Systems}},
    video            = {https://youtu.be/watch?v=D6SRIUMAZAA},
    year             = {2023}
  }