@misc{Heiser_19:entropy,
    author           = {Gernot Heiser},
    howpublished     = {Invited Talk at the Enabling Trust through OS Proofs ({ENTROPY}) Workshop},
    location         = {Stockholm, SE},
    month            = jun,
    title            = {Time {Protection}: Principled Prevention of Timing Channels},
    url              = {https://trustworthy.systems/publications/papers/Heiser_19:entropy.abstract.pml},
    year             = {2019}
  }