Formal security verification of concurrent firmware in SoCs using instruction-level abstraction for hardware (Q131111736)
Jump to navigation
Jump to search
scientific article published on 19 June 2018
Language | Label | Description | Also known as |
---|---|---|---|
default for all languages | No label defined |
||
English | Formal security verification of concurrent firmware in SoCs using instruction-level abstraction for hardware |
scientific article published on 19 June 2018 |
Statements
Formal security verification of concurrent firmware in SoCs using instruction-level abstraction for hardware (English)
Bo-Yuan Huang
Sayak Ray
Aarti Gupta
Jason M. Fung
Sharad Malik