CSIRO Data61 bins Trustworthy Systems team behind seL4

Provably secure microkernel will continue in its own foundation, but the team within Data61 is no more.

Previous Post Next

About The Author

administrator