首个经过完全验证的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