Formal security verification of concurrent firmware in SoCs using instruction-level abstraction for hardware
- Bo Yuan Huang
- , Sayak Ray
- , Aarti Gupta
- , Jason M. Fung
- , Sharad Malik
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
26
Link opens in a new tab
Scopus
citations