@misc{Heiser_15_2,
    address          = {Brussels, BE},
    author           = {Heiser, Gernot},
    booktitle        = {FOSDEM'15},
    keywords         = {sel4 microkernels security verification safety},
    month            = feb,
    note             = {invited talk at FOSDEM'15},
    slides           = {https://trustworthy.systems/publications/nicta_slides/8551.pdf},
    title            = {{seL4}: Present and Future},
    type             = {Presentation},
    year             = {2015}
  }