@misc{Heiser_20,
    address          = {Gold Coast},
    author           = {Heiser, Gernot},
    booktitle        = {Linux.conf.au},
    date             = {2020-1-17},
    keywords         = {operating systems; verification; cyber security; safety-critical systems; {RISC}-{V}},
    month            = jan,
    note             = { at linux.conf.au},
    numpages         = {online},
    publisher        = {Online},
    slides           = {https://trustworthy.systems/publications/papers/Heiser_20.slides.pdf},
    title            = {Verified {seL4} on secure {RISC}-{V} processors},
    video            = {https://youtu.be/wJ96s3pNtI0},
    year             = {2020}
  }