Data61
CSIRO
Sydney
Australia
This talk gave an overview of how to build a system that is truly trustworthy, based on the verified seL4 operating system.
The main takeaway point is that seL4 is not magic fairy dust; it needs to be used as one part of a properly engineered system.
@inproceedings{Kuz_19, month = sep, booktitle = {{seL4} Summit}, author = {Ihor Kuz}, title = {Building Trustworthy Systems on {seL4}}, address = {Herndon, VA, USA}, year = {2019} }