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