Comment on SeL4 security proofs now complete on AArch64parentComments−saidnooneever18dthe proofs prove certain things they do not prove a system is infallable or actually secure they rule out certain things in certain parts of the code.
Comments
the proofs prove certain things they do not prove a system is infallable or actually secure they rule out certain things in certain parts of the code.