@inproceedings{Heiser_08a,
    address          = {Berlin, DE},
    author           = {Gernot Heiser},
    booktitle        = {Proceedings of the  2nd Conference on Future of Trust in Computing},
    editor           = {D. Gawrock and H. Raimer and A.-R. Sadeghi and C. Vishik},
    isbn             = {978-8348-0794-6},
    keywords         = {operating systems, security, common criteria, implementation correctness, proof},
    month            = may,
    pages            = {55--59},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/986.pdf},
    publisher        = {Vieweg+Teubner},
    title            = {Trusted {$\Leftarrow$} Trustworthy {$\Leftarrow$} Proof -- {Position} Paper},
    year             = {2008}
  }