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