@misc{Sison_26:sel4s,
    author           = {Rob Sison},
    location         = {Vancouver, BC, Canada},
    month            = sep,
    note             = {Talk at the 8th {seL4} {Summit}},
    title            = {Where are we with Time Protection? Verification and Cross-domain Communication Update},
    url              = {https://sel4summit2026.sched.com/event/2Prqx},
    year             = {2026}
  }