@misc{Heiser_20:mcw,
    author           = {Gernot Heiser},
    howpublished     = {Invited Talk at {Multicore World}},
    location         = {Wellington, NZ},
    month            = feb,
    title            = {The Formally Verified {seL4} Microkernel: Present and Future},
    url              = {https://trustworthy.systems/publications/papers/Heiser_20:mcw.abstract.pml},
    year             = {2020}
  }