Preliminary Security Analysis, Formalisation, and Verification of OpenTitan Secure Boot Code.
Bjarke Hilmer MøllerJacob Gosch SøndergaardKristoffer Skagbæk JensenMagnus Winkel PedersenTobias Worm BøgedalAnton ChristensenDanny Bøgsted PoulsenKim Guldstrand LarsenRené Rydhof HansenThomas Rosted JensenHeino Juvoll MadsenHenrik UhrenfeldtPublished in: NordSec (2021)
Keyphrases
- security analysis
- high security
- security requirements
- smart card
- security model
- mutual authentication
- image encryption
- security properties
- authentication protocol
- key exchange
- public key
- source code
- user authentication
- authentication scheme
- encryption scheme
- stream cipher
- private key
- elliptic curve cryptography
- cryptographic protocols
- access control
- information systems