Trustworthy Systems

Can we put the "S" into IoT?


Gernot Heiser, Lucy Parker, Ivan Velickovic, Peter Chubb and Ben Leslie

    School of Computer Science and Engineering
    Sydney 2052, Australia


Security of IoT systems is often weak or absent, resulting in systems being compromised. We present the seL4 Core Platform, an operating-system framework that leverages the formally verified security enforcement of the seL4 microkernel to enable the construction of secure-by-design IoT systems, and even enables an incremental cyber retrofit of existing systems. The framework is designed to make its formal verification tractable. An initial evaluation shows that for performance-sensitive high-throughput networking, the platform significantly outperforms Linux.

BibTeX Entry

    address          = {Yokohama, JP},
    author           = {Gernot Heiser and Lucy Parker and Peter Chubb and Ivan Velickovic and Ben Leslie},
    booktitle        = {IEEE World Forum on Internet of Things},
    month            = nov,
    paperurl         = {},
    title            = {Can We Put the {"S"} Into {IoT}?},
    video            = {},
    year             = {2022}