@inproceedings{Paturel_SH_23,
    address          = {Seoul, KR},
    author           = {Mathieu Paturel and Isitha Subasinghe and Gernot Heiser},
    booktitle        = {Asia-Pacific Workshop on Systems (APSys)},
    doi              = {10.1145/3609510.3609821},
    isbn             = {979-8-4007-0305-8},
    keywords         = {operating systems, microkernels, seL4, formal verification, functional correctness, SMT solvers},
    month            = aug,
    numpages         = {7},
    paperurl         = {https://trustworthy.systems/publications/papers/Paturel_SH_23.pdf},
    publisher        = {ACM},
    title            = {First steps in verifying the {seL4} {Core Platform}},
    year             = {2023}
  }