The University of New South Wales

Building trustworthy systems on seL4

Authors

Ihor Kuz

Data61
CSIRO
Sydney
Australia

Abstract

This talk gave an overview of how to build a system that is truly trustworthy, based on the verified seL4 operating system.

The main takeaway point is that seL4 is not magic fairy dust; it needs to be used as one part of a properly engineered system.

BibTeX Entry

  @inproceedings{Kuz_19,
    month            = sep,
    booktitle        = {{seL4} Summit},
    author           = {Ihor Kuz},
    title            = {Building Trustworthy Systems on {seL4}},
    address          = {Herndon, VA, USA},
    year             = {2019}
  }

Download