首個經過完全驗證的ARM機密計算架構原型

美國哥倫比亞大學研究人員展示了公佈了 ARM機密計算架構（ARM CCA）的關鍵驗證技術 ，可以保護敏感的私人資料。

ARM CCA是ARMv9-A架構的新功能，依靠韌體來管理硬體以執行其安全保證措施，因此韌體的正確性和安全性至關重要。過去，工程團隊依賴軟體測試技術來測試韌體的安全性。哥倫比亞大學的最新研究則是通過數學模型來證明軟體和硬體的絕對正確性，從而提供最高水平的安全保證。該團隊現已公佈了 Arm® 機密計算架構 (Arm CCA) 的關鍵驗證技術，這是 Armv9-A 架構的一項新功能。該 研究成果 於 7 月 12 日在加利福尼亞州卡爾斯巴德舉行的第 16 屆 USENIX 作業系統設計和實施研討會 (OSDI ’22) 上發表，展示了 Arm CCA 韌體原型的首次形式驗證。

當下，ARM處理器已經部署在全球數十億臺裝置上。隨著ARM CCA越來越普遍地用於保護使用者的私人資料，哥倫比亞大學研究人員展示的驗證技術將顯著改善資料保護和安全性。 獲 取 更多前沿科技研究 進展訪問： http://byteclicks.com