@misc{Heiser_18:kr,
    author           = {Gernot Heiser},
    howpublished     = {Presentation to Korean National Academy of Engineering as part of a delegation of the Australian
                        Academy of Technology and Engineering},
    month            = jun,
    title            = {No Safety Without Security},
    url              = {https://trustworthy.systems/publications/papers/Heiser_18:kr.abstract.pml},
    year             = {2018}
  }