Formal security verification of concurrent firmware in SoCs using instruction-level abstraction for hardware

Computer Science

• System-on-Chip 100%
• Design Complexity 50%
• Concurrency 50%
• Threaded Program 50%
• Program Verification 50%
• Architecture Level 50%
• semantic gap 50%
• Research Problem 50%
• Software Verification 50%

Keyphrases

• Formal Security Verification 100%
• Co-verification 33%
• Secure Boot 16%
• SoC Security Verification 16%
• Boot Design 16%