@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/full_text/Heiser_KA_20.pdf}, publisher = {ACM}, title = {{seL4} in {Australia}: From Research to Real-World Trustworthy Systems}, volume = {63}, year = {2020} }