SeL4 security proofs now complete on AArch64

发生了什么

After completing the proofs of functional correctness and integrity , Proofcraft has now established the proof that seL4 enforces confidentiality on AArch64, providing a formal mathematical proof that the kernel prevents an application running on top of seL4 from learning information without authorisation.

摘要按规则整理自下方来源原文

时间线

1. 11:32
   Hacker News 最先出现Hacker News

来源