Skip to main content
CSIRO Logo Data 61 logo

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},
    month            = apr,
    year             = {2020},
    title            = {{seL4} in {Australia}: From Research to Real-World Trustworthy Systems},
    pages            = {72-75},
    volume           = {63},
    journal          = {Communications of the ACM},
    paperurl         = {https://ts.data61.csiro.au/publications/csiro_full_text//Heiser_KA_20.pdf},
    issue            = {4},
    publisher        = {ACM}
  }

Download