@misc{Heiser_19:shard,
    author           = {Gernot Heiser},
    howpublished     = {Invited Talk at the {Lorentz Center} {SHARD} Workshop},
    location         = {Leiden, NL},
    month            = sep,
    title            = {We Need a New Hardware-Software Contract},
    url              = {https://trustworthy.systems/publications/papers/Heiser_19:shard.abstract.pml},
    year             = {2019}
  }