@skematica …but seL4 does have a machine-verified proof of its correctness and security. ;)
/@matigo @streakmachine @kdfrawg @joeo10 @gtwilson @pamela
@skematica …but seL4 does have a machine-verified proof of its correctness and security. ;)
/@matigo @streakmachine @kdfrawg @joeo10 @gtwilson @pamela