@misc{Sison_24:sel4s,
    author           = {Rob Sison},
    location         = {Sydney, NSW, Australia},
    month            = oct,
    note             = {Talk at the 6th {seL4} {Summit}},
    title            = {Verification Status of Time Protection and {Microkit}-based {OS} Services},
    url              = {https://sel4summit2024.sched.com/event/1em2G},
    video            = {https://youtu.be/7wcFx6OTEL4},
    year             = {2024}
  }