@misc{Murphy_26:sel4s,
    author           = {Liam Murphy},
    howpublished     = {Talk at the 8th {seL4} {Summit}},
    location         = {Vancouver, BC, CA},
    month            = sep,
    slides           = {https://trustworthy.systems/publications/papers/Murphy_26:sel4s.pdf},
    title            = {Formalising device protocols for {sDDF} driver verification},
    url              = {https://trustworthy.systems/publications/papers/Murphy_26:sel4s.abstract.pml},
    video            = {https://www.youtube.com/watch?v=BseyKnmVRlk},
    year             = {2026}
  }