The University of New South Wales

seL4: Present and future

Authors

Gernot Heiser

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

Published:

Invited talk at FOSDEM

Abstract

I provide a brief overview of seL4 and its unique formal verification story, and its use to protect real-world systems from cyberattacks. I present our research roadmap around seL4 and discuss the seL4 open-source ecosystem.

BibTeX Entry

  @misc{Heiser_15:fosdem,
    howpublished     = {Invited talk at FOSDEM},
    month            = feb,
    author           = {Gernot Heiser},
    title            = {{seL4}: Present and future},
    year             = {2015}
  }

Download