{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T04:50:09Z","timestamp":1749703809033,"version":"3.37.3"},"reference-count":66,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","license":[{"start":{"date-parts":[[2024,5,1]],"date-time":"2024-05-01T00:00:00Z","timestamp":1714521600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,5,1]],"date-time":"2024-05-01T00:00:00Z","timestamp":1714521600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,5,1]],"date-time":"2024-05-01T00:00:00Z","timestamp":1714521600000},"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":["IEEE Trans. Circuits Syst. I"],"published-print":{"date-parts":[[2024,5]]},"DOI":"10.1109\/tcsi.2024.3364160","type":"journal-article","created":{"date-parts":[[2024,2,22]],"date-time":"2024-02-22T20:11:55Z","timestamp":1708632715000},"page":"2031-2044","source":"Crossref","is-referenced-by-count":4,"title":["Optimized and Automated Secure IC Design Flow: A Defense-in-Depth Approach"],"prefix":"10.1109","volume":"71","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1745-0457","authenticated-orcid":false,"given":"Kevin Immanuel","family":"Gubbi","sequence":"first","affiliation":[{"name":"Department of Electrical and Computer Engineering, University of California at Davis, Davis, CA, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3735-9191","authenticated-orcid":false,"given":"Banafsheh Saber","family":"Latibari","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, University of California at Davis, Davis, CA, USA"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-2160-5689","authenticated-orcid":false,"given":"Muhtasim Alam","family":"Chowdhury","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, The University of Arizona, Tucson, AZ, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3734-1082","authenticated-orcid":false,"given":"Afrooz","family":"Jalilzadeh","sequence":"additional","affiliation":[{"name":"Department of Systems and Industrial Engineering, The University of Arizona, Tucson, AZ, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3229-3499","authenticated-orcid":false,"given":"Erfan Yazdandoost","family":"Hamedani","sequence":"additional","affiliation":[{"name":"Department of Systems and Industrial Engineering, The University of Arizona, Tucson, AZ, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2035-8512","authenticated-orcid":false,"given":"Setareh","family":"Rafatirad","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of California at Davis, Davis, CA, USA"}]},{"given":"Avesta","family":"Sasan","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, University of California at Davis, Davis, CA, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8904-4699","authenticated-orcid":false,"given":"Houman","family":"Homayoun","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, University of California at Davis, Davis, CA, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5998-8795","authenticated-orcid":false,"given":"Soheil","family":"Salehi","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, The University of Arizona, Tucson, AZ, USA"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2015.2511144"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/HST.2015.7140252"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD45719.2019.8942150"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2020.2968183"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2019.2904838"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.46586\/tches.v2020.i1.175-202"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.46586\/tches.v2019.i1.97-122"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3299874.3319496"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TETC.2020.2991134"},{"key":"ref10","first-page":"1","article-title":"Full-lock: Hard distributions of SAT instances for obfuscating circuits using fully configurable logic and routing blocks","volume-title":"Proc. Des. Autom. Conf.","author":"Kamali"},{"key":"ref11","first-page":"1","article-title":"InterLock: An intercorrelated logic and routing locking","volume-title":"Proc. IEEE\/ACM Int. Conf. Comput.-Aided Des. (ICCAD)","author":"Kamali"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD45719.2019.8942100"},{"key":"ref13","article-title":"Advances in logic locking: Past, present, and prospects","author":"Kamali","year":"2022","journal-title":"Cryptology ePrint Archive"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2008.4484823"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2228360.2228377"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2013.193"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-15334-2_3"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s10836-019-05800-4"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2508859.2516656"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/HST.2016.7495588"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2801220"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/3061639.3062226"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/3060403.3060458"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/3287624.3287691"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/3299874.3318038"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1561\/1000000005"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TCSII.2016.2532099"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2802870"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/JEDS.2019.2934471"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/2997650"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2014.2375333"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TNANO.2016.2625749"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.23919\/DATE48585.2020.9116483"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2834421"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/DCIS.2018.8681476"},{"key":"ref36","first-page":"1","article-title":"Active hardware metering for intellectual property protection and security","volume-title":"Proc. USENIX Secur. Symp.","volume":"20","author":"Alkabani"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/HST.2013.6581564"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2005.855939"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-11333-9"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2015.2474373"},{"article-title":"Test vector leakage assessment (TVLA) methodology in practice","volume-title":"Proc. Int. Cryptograph. Module Conf.","author":"Becker","key":"ref41"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2019.8714891"},{"key":"ref43","article-title":"Trusted integrated chips (TIC) program","author":"McCants","year":"2016","journal-title":"Intell. Adv. Res. Projects Activity"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/2491677"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2019.8715004"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2011.2120950"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2011.2160627"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/ATS.2013.41"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/FDTC.2018.00009"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/HST.2008.4559049"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2005.193787"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04138-9_28"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/HOST49136.2021.9702281"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1145\/2228360.2228386"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/DAC18074.2021.9586302"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD45719.2019.8942173"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2013.093"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2005.44"},{"article-title":"On SAT-based solution methods for computational problems","year":"2020","author":"Fazekas","key":"ref59"},{"key":"ref60","first-page":"316","article-title":"Cadical, lingeling, plingeling, treengeling and yalsat entering the sat competition 2018","volume-title":"Proc. SAT Competition","volume":"14","author":"Biere"},{"key":"ref61","first-page":"50","article-title":"Cadical, kissat, paracooba, plingeling and treengeling entering the sat competition 2020","volume-title":"Proc. SAT Competition","author":"Fleury"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1145\/3489517.3530414"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1109\/HOST49136.2021.9702267"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1109\/DAC18074.2021.9586242"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1109\/CICC.2015.7338407"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2018.8341986"}],"container-title":["IEEE Transactions on Circuits and Systems I: Regular Papers"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8919\/10510354\/10443689.pdf?arnumber=10443689","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,3]],"date-time":"2024-05-03T19:21:06Z","timestamp":1714764066000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10443689\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,5]]},"references-count":66,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/tcsi.2024.3364160","relation":{},"ISSN":["1549-8328","1558-0806"],"issn-type":[{"type":"print","value":"1549-8328"},{"type":"electronic","value":"1558-0806"}],"subject":[],"published":{"date-parts":[[2024,5]]}}}