The Technology
The seL4 Microkernel's Security Proofs Are Now Complete on AArch64
The seL4 project announced that its formal security proofs are now complete for the AArch64 architecture. Machine-checked proofs of this kind are rare in production operating systems and extend seL4's verified guarantees to Arm 64-bit hardware.
Read Full Story at proofcraft.systemsDiscussSoon← Front Page