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

Download

• Full text
• BibTeX