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

From Wikidata
Jump to navigation Jump to search
scientific article published on 19 June 2018
edit
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

      Identifiers

       
      edit
        edit
          edit
            edit
              edit
                edit
                  edit
                    edit
                      edit