@inproceedings{Heiser_RTB_11,
    month            = may,
    keywords         = {sel4, virtualisation, security, database, verification},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/4632.pdf},
    booktitle        = {Workshop on Hot Topics in Operating Systems (HotOS)},
    slides           = {https://trustworthy.systems/publications/nicta_slides/4632.pdf},
    author           = {Heiser, Gernot and Ryzhyk, Leonid and von Tessin, Michael and Budzynowski, Aleksander},
    year             = {2011},
    pages            = {1--5},
    title            = {What If You Could Actually {Trust} Your Kernel?},
    address          = {Napa, CA, USA}
  }