@misc{Heiser_18:issip,
    author           = {Gernot Heiser},
    howpublished     = {Keynote at the International Summer School on Information Security and Protection (ISSISP)},
    month            = jul,
    title            = {Stop the Leaks: Towards Provable Information Security with {seL4}},
    url              = {https://trustworthy.systems/publications/papers/Heiser_18:issip.abstract.pml},
    year             = {2018}
  }