{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T09:54:54Z","timestamp":1729677294722,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,10]]},"DOI":"10.1109\/apccas.2018.8605696","type":"proceedings-article","created":{"date-parts":[[2019,1,23]],"date-time":"2019-01-23T22:28:04Z","timestamp":1548282484000},"page":"366-369","source":"Crossref","is-referenced-by-count":5,"title":["Importance of Multi-parameter SAT Attack Exploration for Integrated Circuit Security"],"prefix":"10.1109","author":[{"given":"Kyle","family":"Juretus","sequence":"first","affiliation":[]},{"given":"Ioannis","family":"Savidis","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/HST.2015.7140252"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2801220"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3133985"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2018.8351412"},{"key":"ref14","volume":"ii","author":"tseytin","year":"1968","journal-title":"On the Complexity of Derivations in Prepositional Calculus"},{"key":"ref15","article-title":"Technical Report 15\/1","author":"niemetz","year":"2015","journal-title":"Boolector at the SMT competition 2015"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ISVLSI.2016.93"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1403375.1403631"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/IOLTS.2014.6873671"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2010.24"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2015.2511144"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1145\/2902961.2902972","article-title":"Reduced Overhead Gate Level Logic Encryption","author":"juretus","year":"2016","journal-title":"Proceedings of the IEEE Great Lakes Symposium on VLSI"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2015.2404876"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2013.193"},{"year":"2011","key":"ref1","article-title":"Trusted Integrated Chips (TIC) Program"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2016.7538898"}],"event":{"name":"2018 IEEE Asia Pacific Conference on Circuits and Systems (APCCAS)","start":{"date-parts":[[2018,10,26]]},"location":"Chengdu","end":{"date-parts":[[2018,10,30]]}},"container-title":["2018 IEEE Asia Pacific Conference on Circuits and Systems (APCCAS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8596720\/8605562\/08605696.pdf?arnumber=8605696","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T01:12:02Z","timestamp":1606093922000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8605696\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/apccas.2018.8605696","relation":{},"subject":[],"published":{"date-parts":[[2018,10]]}}}