{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T03:21:28Z","timestamp":1779074488831,"version":"3.51.4"},"reference-count":28,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,3,1]],"date-time":"2020-03-01T00:00:00Z","timestamp":1583020800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,3,1]],"date-time":"2020-03-01T00:00:00Z","timestamp":1583020800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,3]]},"DOI":"10.23919\/date48585.2020.9116384","type":"proceedings-article","created":{"date-parts":[[2020,6,15]],"date-time":"2020-06-15T23:28:37Z","timestamp":1592263717000},"page":"19-24","source":"Crossref","is-referenced-by-count":3,"title":["Selective Concolic Testing for Hardware Trojan Detection in Behavioral SystemC Designs"],"prefix":"10.23919","author":[{"given":"Bin","family":"Lin","sequence":"first","affiliation":[{"name":"Portland State University,Department of Computer Science,Portland,OR,USA,97207"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jinchao","family":"Chen","sequence":"additional","affiliation":[{"name":"Northwestern Polytechnical University,School of Computer Science,Xi’an,China,710072"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fei","family":"Xie","sequence":"additional","affiliation":[{"name":"Portland State University,Department of Computer Science,Portland,OR,USA,97207"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ISQED.2018.8357256"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2018.8624854"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s41635-017-0014-1"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2010.7"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"ref15","article-title":"Regression Testing of Virtual Prototypes Using Symbolic Execution","author":"lin","year":"2015","journal-title":"International journal of computer science and software engineering"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2016.7428006"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950396"},{"key":"ref18","article-title":"Technical Whitepaper","author":"zalewski","year":"0"},{"key":"ref19","article-title":"Trusted RTL: Trojan Detection Methodology in PreSilicon Designs","author":"banga","year":"2010","journal-title":"Proc of HOST"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2011.2160627"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2019.8714927"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2012.200"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TETC.2016.2585046"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1064978.1065036"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321746"},{"key":"ref8","article-title":"Efficient Validation Input Generation in RTL by Hybridized Source Code Analysis","author":"liu","year":"2011","journal-title":"Proc of DATE"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081750"},{"key":"ref2","first-page":"1666","year":"2011","journal-title":"Standard SystemC Language Reference Manual"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2015.2481863"},{"key":"ref1","article-title":"Trojans in Early Design Steps—An Emerging Threat","author":"polian","year":"2016","journal-title":"Proc TRUDEVICE"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2966986.2967061"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2015.0352"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2010.2096811"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2463209.2488808"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/2744769.2744823"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2013.263"},{"key":"ref25","article-title":"Hardware Trojan Detection for Gate-level ICs Using Signal Correlation Based Clustering","author":"c\u00b8akir","year":"2015","journal-title":"Proc of DATE"}],"event":{"name":"2020 Design, Automation & Test in Europe Conference & Exhibition (DATE)","location":"Grenoble, France","start":{"date-parts":[[2020,3,9]]},"end":{"date-parts":[[2020,3,13]]}},"container-title":["2020 Design, Automation & Test in Europe Conference & Exhibition (DATE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9112295\/9116186\/09116384.pdf?arnumber=9116384","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,2]],"date-time":"2022-08-02T23:47:58Z","timestamp":1659484078000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9116384\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,3]]},"references-count":28,"URL":"https:\/\/doi.org\/10.23919\/date48585.2020.9116384","relation":{},"subject":[],"published":{"date-parts":[[2020,3]]}}}