Trustworthy Systems

Introduction to seL4

Authors

Rob Sison

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

Abstract

BibTeX Entry

  @misc{Sison_26:ssai,
    author           = {Rob Sison},
    location         = {Berlin, Germany},
    month            = jul,
    note             = {Talk at the {Foresight} {Institute}'s Secure \& Sovereign {AI} Workshop},
    title            = {Introduction to {seL4}},
    url              = {https://foresight.org/events/2026-secure-sovereign-ai-workshop/},
    video            = {https://youtu.be/3g5Opa6nY3s},
    year             = {2026}
  }

Download