Proofcraft company blog
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…
- Points
- 201
- HN comments
- 53
- Submissions
- 1
- Cited by
- 0 commenters
Security & PrivacySystems & Performance2026
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Aug 24, 2026 | SeL4 security proofs now complete on AArch64 by snvzz | 201 | 53 |
