@misc{Heiser_15,
    author           = {Heiser, Gernot},
    booktitle        = {Linux.conf.au},
    month            = jan,
    slides           = {https://trustworthy.systems/publications/nicta_slides/8203.pdf},
    title            = {{seL4} Is Free --- What Does This Mean For You?},
    video            = {https://www.youtube.com/watch?v=lRndE7rSXiI},
    year             = {2015}
  }