@misc{Heiser_23:tccoe,
    author           = {Gernot Heiser},
    howpublished     = {Invited talk at the Trusted Computing Center of Excellence 2023 Summit},
    location         = {Annapolis, MD, US},
    month            = may,
    title            = {{seL4} Update: {Foundation} and {TS} {R\&D} News},
    url              = {https://trustworthy.systems/publications/papers/Heiser_23:tccoe.abstract.pml},
    video            = {https://youtu.be/hzKsQnYg3J8},
    year             = {2023}
  }