Formal security verification of concurrent firmware in SoCs using instruction-level abstraction for hardware.
Bo-Yuan HuangSayak RayAarti GuptaJason M. FungSharad MalikPublished in: DAC (2018)
Keyphrases
- hardware designs
- application level
- formal methods
- high security
- low cost
- security level
- intrusion detection
- computer systems
- operating system
- access control
- ibm zenterprise
- information security
- instruction set
- hardware and software
- java card
- real time
- multimedia
- security requirements
- cryptographic protocols
- formal analysis
- computing power
- power consumption
- model checking
- security mechanisms
- security analysis
- security issues
- formal specification
- security policies
- formal model
- decision theoretic planning
- random number generator
- input output
- integrity verification