@misc{Heiser_19:hipeac,
    author           = {Gernot Heiser},
    howpublished     = {Keynote at HiPEAC Workshop Secure Hardware, Architectures, and Operating Systems (SeHAS)},
    location         = {Valencia, ES},
    month            = jan,
    title            = {Security needs a new hardware-software contract},
    url              = {https://trustworthy.systems/publications/papers/Heiser_19:hipeac.abstract.pml},
    year             = {2019}
  }