@misc{Weibel_KPSSH_24,
    author           = {Trudy Weibel and Zoltan A. Kocsis and Mathieu Paturel and Robert Sison and Isitha Subasinghe and
                        Gernot Heiser},
    howpublished     = {\url{https://trustworthy.systems/publications/papers/Weibel_KPSSH_24.pdf}},
    institution      = {UNSW},
    keywords         = {Gordian, seL4, Microkit, verification, SMT solvers},
    month            = jun,
    paperurl         = {https://trustworthy.systems/publications/papers/Weibel_KPSSH_24.pdf},
    subtitle         = {Verified libmicrokit and {CapDL} Mapping},
    title            = {Verifying the {seL4} {Microkit}},
    urldate          = {2024-06-21},
    version          = {1.0},
    year             = {2024}
  }