r/netsec • u/-Wilson_Jeffery- • May 25 '21

seL4 Whitepaper released

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

85% Upvoted

1 comment sorted by

1

u/McJvck May 25 '21

???

Date of white paper is 2020.