Güvenlik
seL4 mikroçekirdeğinin AArch64 güvenlik kanıtları tamamlandı
Doğrulama ve biçimsel yöntemler şirketi Proofcraft, seL4 mikroçekirdeğinin 64-bit Arm (AArch64) mimarisi üzerindeki gizlilik kanıtını tamamladığını duyurdu. NCSC desteğiyle yürütülen çalışma…
seL4AArch64Siber Güvenlik