Proofcraft har fullført det matematiske beviset for at operativsystemkjernen seL4 opprettholder konfidensialitet på AArch64-arkitekturen, etter tidligere å ha bevist funksjonell korrekthet og integritet.

Kilde: https://proofcraft.systems/news-2026/#2026-08-21