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