{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,16]],"date-time":"2026-02-16T08:23:25Z","timestamp":1771230205484,"version":"3.50.1"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,5]]},"DOI":"10.1109\/hst.2017.7951808","type":"proceedings-article","created":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T20:30:01Z","timestamp":1497904201000},"page":"110-115","source":"Crossref","is-referenced-by-count":9,"title":["Using computational game theory to guide verification and security in hardware designs"],"prefix":"10.1109","author":[{"given":"Andrew M.","family":"Smith","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jackson R.","family":"Mayo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vivian","family":"Kammler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert C.","family":"Armstrong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yevgeniy","family":"Vorobeychik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/NAECON.2008.4806553"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/54.936245"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2007.30"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2071356.2071363"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2508859.2516654"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2015.2422836"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevE.94.012301"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/174130.174138"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2179298.2179339"},{"key":"ref4","article-title":"A survey of interdependent security games","volume":"2","author":"laszka","year":"2012","journal-title":"Crysys"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1613\/jair.3269","article-title":"Stackelberg vs. nash in security games: An extended investigation of interchangeability, equivalence, and uniqueness","volume":"41","author":"korzhyk","year":"2011","journal-title":"J Artif Intell Res (JAIR)"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2627534.2627536"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s10458-014-9258-0"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/HST.2016.7495563"},{"key":"ref7","article-title":"Multidefender security games","author":"lou","year":"2016","journal-title":"IEEE Intelligent Systems Special Issue on Artificial Intelligence and Economics"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1093\/cybsec\/tyv007"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/b105236"},{"key":"ref9","first-page":"360","article-title":"Testing for hardware trojans: A game-theoretic approach","author":"kamhoua","year":"2014","journal-title":"International Conference on Decision and Game Theory for Security Springer"}],"event":{"name":"2017 IEEE International Symposium on Hardware Oriented Security and Trust (HOST)","location":"Mclean, VA, USA","start":{"date-parts":[[2017,5,1]]},"end":{"date-parts":[[2017,5,5]]}},"container-title":["2017 IEEE International Symposium on Hardware Oriented Security and Trust (HOST)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7940186\/7951727\/07951808.pdf?arnumber=7951808","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,26]],"date-time":"2019-09-26T08:59:18Z","timestamp":1569488358000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7951808\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,5]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/hst.2017.7951808","relation":{},"subject":[],"published":{"date-parts":[[2017,5]]}}}