학술논문
Security Verification of the OpenTitan Hardware Root of Trust
Document Type
Periodical
Author
Source
IEEE Security & Privacy IEEE Secur. Privacy Security & Privacy, IEEE. 21(3):27-36 Jun, 2023
Subject
Language
ISSN
1540-7993
1558-4046
1558-4046
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.