Trustworthy Systems

Can we put the "S" into IoT?

Authors

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

    School of Computer Science and Engineering
    UNSW,
    Sydney 2052, Australia

Abstract

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

  @inproceedings{Heiser_PCVL_22,
    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         = {https://trustworthy.systems/publications/papers/Heiser_PCVL_22.pdf},
    title            = {Can We Put the {"S"} Into {IoT}?},
    video            = {https://youtu.be/CDtUStN5r90},
    year             = {2022}
  }

Download