@misc{Heiser_20:sel4sotu,
    author           = {Gernot Heiser},
    howpublished     = {Keynote at the 3rd seL4 Summit},
    month            = nov,
    subtitle         = {aka State of the Union},
    title            = {The {seL4} Report},
    url              = {https://trustworthy.systems/publications/papers/Heiser_20:sel4sotu.abstract.pml},
    video            = {https://www.youtube.com/watch?v=_2KgrFm2Fz4},
    year             = {2020}
  }