@misc{Heiser_25:casa,
    author           = {Gernot Heiser},
    howpublished     = {CASA Distinguished Lecture},
    month            = may,
    slides           = {https://trustworthy.systems/publications/papers/Heiser_25:casa.pdf},
    title            = {It's Time for Truly Secure Operating Systems},
    url              = {https://casa.rub.de/veranstaltungen/distinguished-lectures/infos/casa-distinguished-lecture-mit-gernot-heiser},
    video            = {https://youtu.be/vuPyAbTycNU},
    year             = {2025}
  }