Security Verification of the OpenTitan Hardware Root of Trust

Andres Meza,Francesco Restuccia,Jason Oberg,Dominic Rizzo,Ryan Kastner

IEEE Security & Privacy（2023）

引用 1|浏览34

暂无评分

摘要

We describe the security verification of OpenTitan. We illustrate how information flow tracking turns human knowledge of assets and security requirements into formal security properties verified using Cycuity’s Radix. The verification uncovered weaknesses and helped produce hardware fixes to eliminate vulnerabilities.

查看译文

关键词

opentitan hardware root,trust,security,verification

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要