{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T11:57:35Z","timestamp":1770292655654,"version":"3.49.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/hst.2012.6224325","type":"proceedings-article","created":{"date-parts":[[2012,7,9]],"date-time":"2012-07-09T19:35:17Z","timestamp":1341862517000},"page":"83-88","source":"Crossref","is-referenced-by-count":58,"title":["Reverse engineering circuits using behavioral pattern mining"],"prefix":"10.1109","author":[{"given":"Wenchao","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zach","family":"Wasson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sanjit A.","family":"Seshia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/1403375.1403631"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-444-88074-1.50009-3"},{"key":"17","author":"niskanen","year":"0","journal-title":"Cliquer - routines for clique searching"},{"key":"23","first-page":"363","article-title":"The state-of-the-art in IC reverse engineering","author":"torrance","year":"2009","journal-title":"11th International Workshop on Cryptographic Hardware and Embedded Systems (CHES) Volume 5747 of Lecture Notes in Computer Science"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/EDAC.1993.386495"},{"key":"16","first-page":"472","article-title":"Establishing latch correspondence for sequential circuits using distinguishing signatures","author":"mohnke","year":"1997","journal-title":"Midwest Symposium on Circuits and Systems"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837466"},{"key":"14","author":"mcmillan","year":"0","journal-title":"The Cadence SMV Model Checker"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/54.785838"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2010.18"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2011.32"},{"key":"3","year":"0"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2010.5537093"},{"key":"2","year":"0"},{"key":"1","year":"0"},{"key":"10","author":"garey","year":"1979","journal-title":"Computer and intractability"},{"key":"7","author":"clarke","year":"2000","journal-title":"Model checking"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1137\/0215075"},{"key":"5","year":"0"},{"key":"4","year":"0"},{"key":"9","article-title":"An efficient algorithm for similarity analysis of molecules","author":"durand","year":"1999","journal-title":"Chemical Journal on Internet"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/FCCM.2004.29"}],"event":{"name":"2012 IEEE International Symposium on Hardware-Oriented Security and Trust (HOST)","location":"San Francisco, CA, USA","start":{"date-parts":[[2012,6,3]]},"end":{"date-parts":[[2012,6,4]]}},"container-title":["2012 IEEE International Symposium on Hardware-Oriented Security and Trust"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6218991\/6224308\/06224325.pdf?arnumber=6224325","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T19:11:39Z","timestamp":1490123499000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6224325\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/hst.2012.6224325","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}