@article{Sison_26,
    author           = {Rob Sison},
    journal          = {Isabelle Workshop},
    month            = jul,
    numpages         = {6},
    paperurl         = {https://trustworthy.systems/publications/papers/Sison_26.pdf},
    title            = {Two interfaces for {seL4} kernel verification: Time Protection and the Kernel–Userland Gap (Extended
                        Abstract)},
    year             = {2026}
  }