Trustworthy Systems

Secure embedded systems need microkernels


Gernot Heiser

NICTA, Sydney, Australia
UNSW, Australia


The immense popularity of all sorts of electronic devices means that they have become an integral part of our lives; it is becoming difficult to imagine living without them. In the process, they are increasingly trusted with sensitive data, the loss of which can cause serious distress or financial harm. Security is therefore becoming a significant issue. Yet, as we know from the PC world, commodity computer systems are not well-defended against security threats. In this article we examine the security threats facing embedded systems, and what needs to be done to make them secure.

BibTeX Entry

    author           = {Gernot Heiser},
    journal          = {USENIX ;login:},
    month            = dec,
    number           = {6},
    pages            = {9--13},
    paperurl         = {},
    title            = {Secure Embedded Systems Need Microkernels},
    volume           = {30},
    year             = {2005}