{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,21]],"date-time":"2025-06-21T04:30:28Z","timestamp":1750480228730,"version":"3.37.3"},"reference-count":51,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"10","license":[{"start":{"date-parts":[[2024,10,1]],"date-time":"2024-10-01T00:00:00Z","timestamp":1727740800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,10,1]],"date-time":"2024-10-01T00:00:00Z","timestamp":1727740800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,10,1]],"date-time":"2024-10-01T00:00:00Z","timestamp":1727740800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"National Key Research and Development Program of China","award":["2020YFB1600201"],"award-info":[{"award-number":["2020YFB1600201"]}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62374114","62373206","61974105","62090024"],"award-info":[{"award-number":["62374114","62373206","61974105","62090024"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Zhejiang Laboratory","award":["2021KC0AB01"],"award-info":[{"award-number":["2021KC0AB01"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2024,10]]},"DOI":"10.1109\/tcad.2024.3389558","type":"journal-article","created":{"date-parts":[[2024,4,16]],"date-time":"2024-04-16T17:21:14Z","timestamp":1713288074000},"page":"3226-3239","source":"Crossref","is-referenced-by-count":1,"title":["On Modeling and Detecting Trojans in Instruction Sets"],"prefix":"10.1109","volume":"43","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7887-6510","authenticated-orcid":false,"given":"Ying","family":"Zhang","sequence":"first","affiliation":[{"name":"School of Software Engineering, Tongji University, Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-4778-5457","authenticated-orcid":false,"given":"Aodi","family":"He","sequence":"additional","affiliation":[{"name":"School of Software Engineering, Tongji University, Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-5501-0035","authenticated-orcid":false,"given":"Jiaying","family":"Li","sequence":"additional","affiliation":[{"name":"School of Software Engineering, Tongji University, Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ahmed","family":"Rezine","sequence":"additional","affiliation":[{"name":"Embedded Systems Laboratory, Linkoping University, Linkoping, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5137-565X","authenticated-orcid":false,"given":"Zebo","family":"Peng","sequence":"additional","affiliation":[{"name":"Embedded Systems Laboratory, Linkoping University, Linkoping, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6672-0279","authenticated-orcid":false,"given":"Erik","family":"Larsson","sequence":"additional","affiliation":[{"name":"Electrical and Information Technology, Lund University, Lund, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tao","family":"Yang","sequence":"additional","affiliation":[{"name":"Advanced Computer Research Center, Zhejiang Laboratory, Hangzhou, Zhejiang, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5829-8423","authenticated-orcid":false,"given":"Jianhui","family":"Jiang","sequence":"additional","affiliation":[{"name":"School of Software Engineering, Tongji University, Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8082-4218","authenticated-orcid":false,"given":"Huawei","family":"Li","sequence":"additional","affiliation":[{"name":"SKLCA, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2020.3047976"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2010.7"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2019.8714829"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2015.7372619"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ATS.2018.00026"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.vlsi.2018.10.009"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2015.2422836"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2020.3019167"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2015.2400413"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3464959"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.23919\/DATE48585.2020.9116228"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.1997.601317"},{"key":"ref13","first-page":"1","article-title":"Summary of attacks against BIOS and secure boot","volume-title":"Proc. DEFCON Conf.","author":"Bulygin"},{"key":"ref14","first-page":"337","article-title":"Verifying information flow properties of firmware using symbolic execution","volume-title":"Proc. IEEE Design Autom. Test Eur. Conf. Exhibit.","author":"Subramanyan"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2011.22"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3399742"},{"key":"ref17","article-title":"Meltdown","author":"Moritz","year":"2018","journal-title":"arXiv:1801.01207"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2009.19"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2015.7056069"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2463209.2488830"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2003.1253591"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/2228360.2228386"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2008.927732"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2017.8050606"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TETC.2014.2316497"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/2660267.2660289"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/2897937.2897992"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/AsianHOST47458.2019.9006725"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/2966986.2967054"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/2744769.2744823"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/DAC18072.2020.9218639"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/VTS.2016.7477271"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2015.7342417"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2019.2953752"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2016.2601067"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2021.3073855"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2023.3271126"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD51958.2021.9643498"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/7422.003.0012"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/Informatics.2015.7377817"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/tse.1984.5010248"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2015.0299"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2890695"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/ITC-Asia.2018.00025"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45657-0_19"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2004.841068"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1983.1676174"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/92.920827"},{"volume-title":"miniMIPS","year":"2018","key":"ref49"},{"volume-title":"or1200","year":"2009","key":"ref50"},{"volume-title":"FuseSoC","year":"2018","key":"ref51"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/43\/10684348\/10500863.pdf?arnumber=10500863","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,11]],"date-time":"2024-12-11T22:36:02Z","timestamp":1733956562000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10500863\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10]]},"references-count":51,"journal-issue":{"issue":"10"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2024.3389558","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"type":"print","value":"0278-0070"},{"type":"electronic","value":"1937-4151"}],"subject":[],"published":{"date-parts":[[2024,10]]}}}