{"id":"https://openalex.org/W2673287997","doi":"https://doi.org/10.1109/hst.2017.7951808","title":"Using computational game theory to guide verification and security in hardware designs","display_name":"Using computational game theory to guide verification and security in hardware designs","publication_year":2017,"publication_date":"2017-05-01","ids":{"openalex":"https://openalex.org/W2673287997","doi":"https://doi.org/10.1109/hst.2017.7951808","mag":"2673287997"},"language":"en","primary_location":{"id":"doi:10.1109/hst.2017.7951808","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hst.2017.7951808","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 IEEE International Symposium on Hardware Oriented Security and Trust (HOST)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://www.osti.gov/biblio/1456643","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5085947375","display_name":"Andrew Smith","orcid":"https://orcid.org/0000-0002-6025-9271"},"institutions":[{"id":"https://openalex.org/I192454743","display_name":"Sandia National Laboratories California","ror":"https://ror.org/058m7ey48","country_code":"US","type":"facility","lineage":["https://openalex.org/I1330989302","https://openalex.org/I1330989302","https://openalex.org/I192454743","https://openalex.org/I198811213","https://openalex.org/I198811213","https://openalex.org/I4210104735"]},{"id":"https://openalex.org/I84218800","display_name":"University of California, Davis","ror":"https://ror.org/05rrcem69","country_code":"US","type":"education","lineage":["https://openalex.org/I84218800"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Andrew M. Smith","raw_affiliation_strings":["Department of Computer Science, University of California, Davis, CA","Digital and Quantum Information Systems, Sandia National Laboratories, Livermore, California"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of California, Davis, CA","institution_ids":["https://openalex.org/I84218800"]},{"raw_affiliation_string":"Digital and Quantum Information Systems, Sandia National Laboratories, Livermore, California","institution_ids":["https://openalex.org/I192454743"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102487921","display_name":"Jackson R. Mayo","orcid":null},"institutions":[{"id":"https://openalex.org/I192454743","display_name":"Sandia National Laboratories California","ror":"https://ror.org/058m7ey48","country_code":"US","type":"facility","lineage":["https://openalex.org/I1330989302","https://openalex.org/I1330989302","https://openalex.org/I192454743","https://openalex.org/I198811213","https://openalex.org/I198811213","https://openalex.org/I4210104735"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jackson R. Mayo","raw_affiliation_strings":["Scalable Modeling and Analysis Systems, Sandia National Laboratories, Livermore, California"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Scalable Modeling and Analysis Systems, Sandia National Laboratories, Livermore, California","institution_ids":["https://openalex.org/I192454743"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077147336","display_name":"Vivian Kammler","orcid":null},"institutions":[{"id":"https://openalex.org/I4210104735","display_name":"Sandia National Laboratories","ror":"https://ror.org/01apwpt12","country_code":"US","type":"facility","lineage":["https://openalex.org/I1330989302","https://openalex.org/I198811213","https://openalex.org/I4210104735"]},{"id":"https://openalex.org/I4210145666","display_name":"Embedded Systems (United States)","ror":"https://ror.org/04742eh45","country_code":"US","type":"company","lineage":["https://openalex.org/I4210145666"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Vivian Kammler","raw_affiliation_strings":["Embedded Systems Analysis, Sandia National Laboratories, Albuquerque, NM"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Embedded Systems Analysis, Sandia National Laboratories, Albuquerque, NM","institution_ids":["https://openalex.org/I4210145666","https://openalex.org/I4210104735"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5107252170","display_name":"Robert C. Armstrong","orcid":null},"institutions":[{"id":"https://openalex.org/I192454743","display_name":"Sandia National Laboratories California","ror":"https://ror.org/058m7ey48","country_code":"US","type":"facility","lineage":["https://openalex.org/I1330989302","https://openalex.org/I1330989302","https://openalex.org/I192454743","https://openalex.org/I198811213","https://openalex.org/I198811213","https://openalex.org/I4210104735"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Robert C. Armstrong","raw_affiliation_strings":["Digital and Quantum Information Systems, Sandia National Laboratories, Livermore, California"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Digital and Quantum Information Systems, Sandia National Laboratories, Livermore, California","institution_ids":["https://openalex.org/I192454743"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5038669899","display_name":"Yevgeniy Vorobeychik","orcid":"https://orcid.org/0000-0003-2471-5345"},"institutions":[{"id":"https://openalex.org/I200719446","display_name":"Vanderbilt University","ror":"https://ror.org/02vm5rt34","country_code":"US","type":"education","lineage":["https://openalex.org/I200719446"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yevgeniy Vorobeychik","raw_affiliation_strings":["Vanderbilt University Law School, Nashville, TN, US"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Vanderbilt University Law School, Nashville, TN, US","institution_ids":["https://openalex.org/I200719446"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.6184,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.84822662,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"110","last_page":"115"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12122","display_name":"Physical Unclonable Functions (PUFs) and Hardware Security","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12122","display_name":"Physical Unclonable Functions (PUFs) and Hardware Security","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9968000054359436,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10734","display_name":"Information and Cyber Security","score":0.9961000084877014,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/stackelberg-competition","display_name":"Stackelberg competition","score":0.8314754962921143},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.810673713684082},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.546723484992981},{"id":"https://openalex.org/keywords/software-deployment","display_name":"Software deployment","score":0.5238680243492126},{"id":"https://openalex.org/keywords/adversary","display_name":"Adversary","score":0.5201185941696167},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.47643691301345825},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.45731139183044434},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.43857666850090027},{"id":"https://openalex.org/keywords/hardware-trojan","display_name":"Hardware Trojan","score":0.43264126777648926},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.42128488421440125},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.36478176712989807},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.3397698700428009},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2394549548625946},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.19075730443000793},{"id":"https://openalex.org/keywords/trojan","display_name":"Trojan","score":0.17879047989845276},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.13527590036392212}],"concepts":[{"id":"https://openalex.org/C199510392","wikidata":"https://www.wikidata.org/wiki/Q1184602","display_name":"Stackelberg competition","level":2,"score":0.8314754962921143},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.810673713684082},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.546723484992981},{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.5238680243492126},{"id":"https://openalex.org/C41065033","wikidata":"https://www.wikidata.org/wiki/Q2825412","display_name":"Adversary","level":2,"score":0.5201185941696167},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.47643691301345825},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.45731139183044434},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.43857666850090027},{"id":"https://openalex.org/C2780873074","wikidata":"https://www.wikidata.org/wiki/Q5656397","display_name":"Hardware Trojan","level":3,"score":0.43264126777648926},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.42128488421440125},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.36478176712989807},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.3397698700428009},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2394549548625946},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.19075730443000793},{"id":"https://openalex.org/C174333608","wikidata":"https://www.wikidata.org/wiki/Q19635","display_name":"Trojan","level":2,"score":0.17879047989845276},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.13527590036392212},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.0},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/hst.2017.7951808","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hst.2017.7951808","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 IEEE International Symposium on Hardware Oriented Security and Trust (HOST)","raw_type":"proceedings-article"},{"id":"pmh:oai:osti.gov:1456643","is_oa":true,"landing_page_url":"https://www.osti.gov/biblio/1456643","pdf_url":null,"source":{"id":"https://openalex.org/S4306402487","display_name":"OSTI OAI (U.S. Department of Energy Office of Scientific and Technical Information)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I139351228","host_organization_name":"Office of Scientific and Technical Information","host_organization_lineage":["https://openalex.org/I139351228"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:oai:osti.gov:1456643","is_oa":true,"landing_page_url":"https://www.osti.gov/biblio/1456643","pdf_url":null,"source":{"id":"https://openalex.org/S4306402487","display_name":"OSTI OAI (U.S. Department of Energy Office of Scientific and Technical Information)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I139351228","host_organization_name":"Office of Scientific and Technical Information","host_organization_lineage":["https://openalex.org/I139351228"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320306084","display_name":"U.S. Department of Energy","ror":"https://ror.org/01bj3aw27"},{"id":"https://openalex.org/F4320332369","display_name":"National Nuclear Security Administration","ror":"https://ror.org/03sk1we31"},{"id":"https://openalex.org/F4320338291","display_name":"Sandia National Laboratories","ror":"https://ror.org/01apwpt12"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W67485690","https://openalex.org/W129640584","https://openalex.org/W1984733309","https://openalex.org/W1995497007","https://openalex.org/W2040712458","https://openalex.org/W2042194938","https://openalex.org/W2066831657","https://openalex.org/W2075599280","https://openalex.org/W2126879264","https://openalex.org/W2147728232","https://openalex.org/W2150802640","https://openalex.org/W2151668694","https://openalex.org/W2207233201","https://openalex.org/W2212142413","https://openalex.org/W2253117541","https://openalex.org/W2422588078","https://openalex.org/W2560536009","https://openalex.org/W2963982390","https://openalex.org/W3102219781","https://openalex.org/W6636367297","https://openalex.org/W6691439126","https://openalex.org/W6730805201"],"related_works":["https://openalex.org/W1987562536","https://openalex.org/W4383533535","https://openalex.org/W2375814310","https://openalex.org/W4255938919","https://openalex.org/W2903244929","https://openalex.org/W4380353856","https://openalex.org/W2347216446","https://openalex.org/W1995212308","https://openalex.org/W4388893935","https://openalex.org/W2033565368"],"abstract_inverted_index":{"Verifying":[0],"that":[1],"hardware":[2,53,165,212],"design":[3],"implementations":[4,166],"adhere":[5],"to":[6,17,32,48,59,91,115,118,129,163,174],"specifications":[7],"is":[8,55,85,114,186],"a":[9,56,110,120,190],"time":[10],"intensive":[11],"and":[12,42,50,62,67,73,124,172,178],"sometimes":[13],"intractable":[14],"problem":[15],"due":[16],"the":[18,22,81,134,139,144,153,168,193,199],"massive":[19],"size":[20],"of":[21,80,100,122,192,195,201],"system's":[23],"state":[24,83],"space.":[25],"Formal":[26],"methods":[27],"techniques":[28],"can":[29],"be":[30],"used":[31],"prove":[33],"certain":[34],"tractable":[35],"specification":[36],"properties;":[37],"however,":[38],"they":[39],"are":[40,65],"expensive,":[41],"often":[43],"require":[44],"subject":[45],"matter":[46],"experts":[47],"develop":[49],"solve.":[51],"Nonetheless,":[52],"verification":[54,102,179,196],"critical":[57],"process":[58],"ensure":[60],"security":[61,92,105,149,161],"safety":[63],"properties":[64],"met,":[66],"encapsulates":[68],"problems":[69],"associated":[70],"with":[71],"trust":[72],"reliability.":[74],"For":[75],"complex":[76],"designs":[77],"where":[78],"coverage":[79],"entire":[82],"space":[84],"unattainable,":[86],"prioritizing":[87],"regions":[88],"most":[89],"vulnerable":[90],"or":[93],"reliability":[94],"threats":[95],"would":[96],"allow":[97],"efficient":[98],"allocation":[99,194],"valuable":[101],"resources.":[103],"Stackelberg":[104,160],"games":[106],"model":[107],"interactions":[108],"between":[109],"defender,":[111],"whose":[112],"goal":[113],"assign":[116],"resources":[117,197],"protect":[119],"set":[121],"targets,":[123],"an":[125,147,202],"attacker,":[126],"who":[127],"aims":[128],"inflict":[130],"maximum":[131],"damage":[132],"on":[133,208],"targets":[135],"after":[136],"first":[137],"observing":[138],"defender's":[140,182],"strategy.":[141],"In":[142],"equilibrium,":[143],"defender":[145,176],"has":[146],"optimal":[148],"deployment":[150],"strategy,":[151],"given":[152],"attacker's":[154],"best":[155],"response.":[156],"We":[157,204],"apply":[158],"this":[159,206],"framework":[162],"synthesized":[164,211],"using":[167],"design's":[169],"network":[170],"structure":[171],"logic":[173],"inform":[175],"valuations":[177],"costs.":[180],"The":[181],"strategy":[183],"in":[184,198],"equilibrium":[185],"thus":[187],"interpreted":[188],"as":[189],"prioritization":[191],"presence":[200],"adversary.":[203],"demonstrate":[205],"technique":[207],"several":[209],"open-source":[210],"designs.":[213]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":3},{"year":2017,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}