@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} }