Security Verification of the OpenTitan Hardware Root of Trust.
Andres MezaFrancesco RestucciaJason ObergDominic RizzoRyan KastnerPublished in: IEEE Secur. Priv. (2023)
Keyphrases
- trusted computing
- high security
- trust management
- computing platform
- trust negotiation
- security services
- integrity verification
- computer security
- low cost
- hardware designs
- cryptographic protocols
- security issues
- real time
- random number generator
- information security
- trust model
- java card
- access control
- hardware and software
- security analysis
- trust relationships
- network security
- computing environments
- security management
- intrusion detection
- model checking
- hardware implementation
- key management
- high assurance
- security requirements
- policy enforcement
- encryption algorithm
- internet banking
- malicious nodes
- public key infrastructure
- identity management
- security level
- image encryption
- security systems
- anomaly detection
- virtual organization