AArch64

标签

#AArch64

seL4安全证明在AArch64上完成

Hacker News Top ↗ · 2026-08-24 缓存

Proofcraft公司已完成seL4微内核在AArch64架构上的形式化安全证明（包括机密性），并宣布为RISC-V架构验证了MCS seL4，同时在LICS'26会议上提交了一篇理论论文。

0 人收藏 0 人点赞