@article{Heiser_07,
    author           = {Heiser, Gernot},
    journal          = {USENIX ;login:},
    month            = dec,
    pages            = {35---38},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/544.pdf},
    title            = {Your system is secure? Prove it!},
    volume           = {32(6)},
    year             = {2007}
  }