Proofcraft

Assess

Công cụ

Công ty chuyên về xác minh hình thức và chứng minh được máy kiểm tra cho phần mềm hệ thống.

Vì sao ở đây

Xếp vào Assess: 1 bài bằng chứng từ 1 nguồn, chủ yếu là tin bảo mật, 1 bài trong 30 ngày qua. Độ tin cậy 24%. Bằng chứng còn ít nên xếp thận trọng, chờ thêm tín hiệu.

Bằng chứng (1)

8Hacker News·24/8/2026security
Các chứng minh bảo mật của seL4 trên AArch64 đã hoàn tất
Proofcraft đã hoàn tất chứng minh hình thức về tính bảo mật bí mật (confidentiality) của seL4 trên AArch64, bổ sung cho các chứng minh trước đó về tính đúng đắn chức năng và tính toàn vẹn. Kết quả này, dưới các giả định đã nêu, xác lập rằng kernel thực thi cô lập an ninh ở مستوى ứng dụng trên các hệ thống AArch64.