ついに完全達成!セキュアOS「seL4」のセキュリティ証明がAArch64に対応しました
SeL4 security proofs now complete on AArch64
究極の信頼性を誇るマイクロカーネル「seL4」にて、長らく待望されていたAArch64アーキテクチャ(ARM 64bit)向けの形式的検証(セキュリティ証明)が完了しました。これにより、ハイパフォーマンスなARM環境においても、数学的に証明された最高レベルのセキュアなシステム構築が可能になります。サーバーから組み込み開発まで、信頼性を最優先するエンジニアにとっての大きなマイルストーンです。