SeL4 security proofs now complete on AArch64
On September 1-3, 2026, Proofcraft, a Swedish cybersecurity firm, will be sponsoring the seL4 Summit in Vancouver, Canada. This annual gathering of industry, government and university participants focuses on highly assured operating systems. Proofcraft's CEO, June Andronick, will be a keynote speaker along with August Martens from Mistral AI.
Written by urgent.news from Hacker News's reporting — not their text. Machine-written — may contain errors; check the original before relying on it.
