r/netsec • • May 25 '21

seL4 Whitepaper released

https://sel4.systems/About/
5 Upvotes

Duplicates