Trustworthy Systems

seL4 in Australia: From research to real-world trustworthy systems

Authors

Gernot Heiser, Gerwin Klein and June Andronick

DATA61

UNSW Sydney

Abstract

BibTeX Entry

  @article{Heiser_KA_20,
    author           = {Heiser, Gernot and Klein, Gerwin and Andronick, June},
    doi              = {https://doi.org/10.1145/3378426},
    issue            = {4},
    journal          = {Communications of the ACM},
    month            = apr,
    pages            = {72-75},
    paperurl         = {https://trustworthy.systems/publications/csiro_full_text/Heiser_KA_20.pdf},
    publisher        = {ACM},
    title            = {{seL4} in {Australia}: From Research to Real-World Trustworthy Systems},
    volume           = {63},
    year             = {2020}
  }

Download