Security Verification of the OpenTitan Hardware Root of Trust
IEEE Security & Privacy(2023)
Abstract
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.
MoreTranslated text
Key words
opentitan hardware root,trust,security,verification
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined