首個經過完全驗證的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
「其他文章」
- Intel期望小芯片戰略能拯救公司,表示芯片堆疊將迎來半導體“新時代”
- IBM Research的科學發現深度搜索 (DS4SD)
- 研究人員發現治癒皮膚感染和傷口或有新方法
- 二維材料中首次實現核自旋量子位控制或將拓展量子科學技術前沿
- 首席數據官管理手冊:建立並運行組織的數據供應鏈
- DNA精確操控碳納米管晶格有望催生室温下的超導體
- 全DNA納米機器人可探索細胞過程
- AI預測超過2億個蛋白質結構有望加快新藥研發
- 德國研究基金會資助人工智能研究
- 溶於淚液的硅納米針隱形眼鏡面世未來有望治療人類眼疾
- 首個可重配置自組織激光器問世可用於下一代電子墨水
- 首個經過完全驗證的ARM機密計算架構原型
- 新一代多功能疫苗或可應對冠狀病毒變異
- 無需血樣的新冠抗體快速檢測法出現
- 仿生粘合有機框架膜 有望實現高效低成本海水淡化
- 測序新技術提供基因表達高精數據
- 取於自然 回饋自然 廢棄生物質製成新型類PET塑料
- 美國NIST與CISA合作建立5G安全評估程序五步驟
- 再生醫學重大突破活組織製成的3D打印耳朵移植成功
- 一個用於可視化分子相互作用網絡和生物通路的開源軟件平台