Formal Verification of Security Critical Hardware-Firmware Interactions in Commercial SoCs.
Sayak RayNishant GhoshRamya Jayaram MastiArun K. KanuparthiJason M. FungPublished in: DAC (2019)
Keyphrases
- formal verification
- model checking
- ibm zenterprise
- model checker
- computer systems
- random number generator
- automated verification
- operating system
- symbolic model checking
- hardware and software
- bounded model checking
- information security
- error detection
- input output
- intrusion detection
- low cost
- security requirements
- trusted computing
- security issues
- protection scheme
- security policies
- real time
- access control
- network security
- temporal logic
- hardware implementation
- program slicing
- statistical databases
- trust relationships
- embedded systems
- power consumption
- privacy preserving
- artificial intelligence