{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T14:24:10Z","timestamp":1784211850972,"version":"3.55.0"},"reference-count":26,"publisher":"IEEE","license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017,1]]},"DOI":"10.1109\/aspdac.2017.7858389","type":"proceedings-article","created":{"date-parts":[[2017,2,20]],"date-time":"2017-02-20T16:36:54Z","timestamp":1487608614000},"page":"598-604","source":"Crossref","is-referenced-by-count":25,"title":["Detecting hardware Trojans in unspecified functionality through solving satisfiability problems"],"prefix":"10.1109","author":[{"given":"Nicole","family":"Fern","sequence":"first","affiliation":[{"name":"UC Santa Barbara, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ismail","family":"San","sequence":"additional","affiliation":[{"name":"Anadolu University, Turkey"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kwang-Ting Tim","family":"Cheng","sequence":"additional","affiliation":[{"name":"HKUST, Hong Kong"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MSPEC.2008.4505310"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2010.7"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.3850\/9783981537079_0302"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2011.27"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/FDTC.2013.15"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2508859.2516654"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2593069.2596681"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2463209.2488808"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2010.18"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2015.7342387"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2015.7372619"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/HST.2013.6581567"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/11506157_20"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1814217.1814225"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.3850\/9783981537079_0793"},{"key":"ref16","article-title":"Security verification of 3rd party intellectual property cores for information leakage","volume-title":"In Proceedings of IEEE VLSI Design","author":"Rajendran"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/VTS.2012.6231062"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1995376.1995394"},{"key":"ref19","article-title":"PySMT: a solver-agnostic library for fast prototyping of smt-based algorithms","author":"Gario","year":"2015"},{"key":"ref20","article-title":"Cadence conformal equivalence checker"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-16214-0_42"},{"key":"ref22","article-title":"Nangate 45nm open cell library","year":"2011"},{"key":"ref23","article-title":"AMBA AXI and ACE Protocol Specification, Issue E","year":"2013","journal-title":"ARM"},{"key":"ref24","article-title":"UART 16550 core"},{"key":"ref25","article-title":"Wishbone bus"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/tvlsi.2008.2005311"}],"event":{"name":"2017 22nd Asia and South Pacific Design Automation Conference (ASP-DAC)","location":"Chiba, Japan","start":{"date-parts":[[2017,1,16]]},"end":{"date-parts":[[2017,1,19]]}},"container-title":["2017 22nd Asia and South Pacific Design Automation Conference (ASP-DAC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7847727\/7858249\/07858389.pdf?arnumber=7858389","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,11]],"date-time":"2025-11-11T05:58:41Z","timestamp":1762840721000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7858389\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,1]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/aspdac.2017.7858389","relation":{},"subject":[],"published":{"date-parts":[[2017,1]]}}}