@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}, year = {2019} }