@misc{Heiser_25:sel4s,
    author           = {Gernot Heiser},
    howpublished     = {Talk at the 7th {seL4} {Summit}},
    location         = {Prague, CZ},
    month            = sep,
    slides           = {https://trustworthy.systems/publications/papers/Heiser_25:sel4s.pdf},
    title            = {{Trustworthy Systems} {R\&D} Update},
    url              = {https://trustworthy.systems/publications/papers/Heiser_25:sel4s.abstract.pml},
    video            = {https://youtu.be/watch?v=wP48V34lDhk},
    year             = {2025}
  }