Topics /

Security & Privacy

The most popular blog posts about security & privacy on Hacker News. 4,441 posts.

Any year
2165

SeL4 security proofs now complete on AArch64

Proofcraft’s Chief Engineer Rafal Kolanski has completed a major “architecture split” overhaul of the seL4 proofs, resulting in the removal of 250k lines of proof and strengthening the link between proofs on different architectures. These changes will significantly reduce future effort required to maintain and extend…