Software Systems

Your system is secure? Prove it!


Gernot Heiser

    Open Kernel Labs, Sydney, Australia


Computer security is an old problem which has lost none of its relevance—as is evidenced by the annual Security issue of ;login:. The systems research community has increased its attention to security issues in recent years, as can be seen by an increasing number of security-related papers published in the mainstream systems conferences SOSP, OSDI, and USENIX. However, the focus is primarily on desktop and server systems.

BibTeX Entry

    journal          = {USENIX ;login:},
    author           = {Gernot Heiser},
    number           = {6},
    month            = {dec},
    volume           = {32},
    year             = {2007},
    title            = {Your System is Secure? Prove it!},
    pages            = {35--38}