{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,19]],"date-time":"2026-06-19T02:25:58Z","timestamp":1781835958135,"version":"3.54.5"},"reference-count":31,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2014,3,1]],"date-time":"2014-03-01T00:00:00Z","timestamp":1393632000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/OAPA.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Emerg. Topics Comput."],"published-print":{"date-parts":[[2014,3]]},"DOI":"10.1109\/tetc.2013.2294918","type":"journal-article","created":{"date-parts":[[2014,1,31]],"date-time":"2014-01-31T17:49:02Z","timestamp":1391190542000},"page":"63-80","source":"Crossref","is-referenced-by-count":113,"title":["Reverse Engineering Digital Circuits Using Structural and Functional Analyses"],"prefix":"10.1109","volume":"2","author":[{"given":"Pramod","family":"Subramanyan","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nestan","family":"Tsiskaridze","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Wenchao","family":"Li","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Adria","family":"Gascon","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Wei Yang","family":"Tan","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ashish","family":"Tiwari","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Natarajan","family":"Shankar","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sanjit A.","family":"Seshia","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sharad","family":"Malik","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/DFT.2008.61"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2011.27"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2010.18"},{"key":"ref11","first-page":"51","article-title":"Hardware Trojan detection using path delay fingerprint","author":"jin","year":"0","journal-title":"Proc IEEE Int Symp HOST"},{"key":"ref12","first-page":"2","article-title":"Design principles for tamper-resistant smartcard processors","author":"k\u00f6mmerling","year":"0","journal-title":"Proc USENIX Workshop Smartcard Technol"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/HST.2013.6581568"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/HST.2012.6224325"},{"key":"ref15","volume":"149","author":"lieberman","year":"2003","journal-title":"Congressional Record"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"71","DOI":"10.3233\/SAT190077","article-title":"DepQBF: A dependency-aware QBF solver","volume":"7","author":"lonsing","year":"2010","journal-title":"J Satisfiability Boolean Model Comput"},{"key":"ref17","article-title":"Old trick threatens the newest weapons","author":"markoff","year":"2009","journal-title":"New York Times"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/0167-9260(93)90041-A"},{"key":"ref19","article-title":"Functional IC analysis","author":"nedospasov","year":"0","journal-title":"Proc IEEE Int Symp HOST"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2009.159"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/43.273754"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2005.1560122"},{"key":"ref27","first-page":"1","article-title":"Deconstructing a 'secure' processor","author":"tarnovsky","year":"0","journal-title":"Black Hat"},{"key":"ref6","first-page":"502","article-title":"An extensible SAT-solver","author":"e\u00e9n","year":"0","journal-title":"Proc Int Conf Theory and Appl Satisfiability Testing"},{"key":"ref29","first-page":"363","article-title":"The state-of-the-art in IC reverse engineering","author":"torrance","year":"0","journal-title":"Proc 11th Int Workshop CHES"},{"key":"ref5","year":"2012","journal-title":"Integrity and Reliability of Integrated Circuits (IRIS)"},{"key":"ref8","year":"2005","journal-title":"High Performance Microchip Supply"},{"key":"ref7","year":"2012","journal-title":"IP Challenges for the Semiconductor Equipment and Materials Industry"},{"key":"ref2","first-page":"296","article-title":"Trojan detection using IC fingerprinting","author":"agrawal","year":"0","journal-title":"Proc IEEE Symp Security Privacy"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MSPEC.2008.4505310"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/54.785838"},{"key":"ref20","first-page":"185","article-title":"Reverse-engineering a cryptographic RFID tag","author":"nohl","year":"0","journal-title":"Proc 17th USENIX SS"},{"key":"ref22","author":"roth","year":"1980","journal-title":"Computer Logic Testing and Verification"},{"key":"ref21","first-page":"1","article-title":"A comparative study of 2QBF algorithms","author":"ranjan","year":"0","journal-title":"Proc Int Conf Theory and Appl Satisfiability Testing"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2011.32"},{"key":"ref23","author":"somenzi","year":"2011","journal-title":"CUDD CU Decision Diagram Package"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2013.264"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/1653662.1653719"}],"container-title":["IEEE Transactions on Emerging Topics in Computing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6245516\/6824880\/06683016.pdf?arnumber=6683016","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:24:30Z","timestamp":1642004670000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6683016\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,3]]},"references-count":31,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tetc.2013.2294918","relation":{},"ISSN":["2168-6750"],"issn-type":[{"value":"2168-6750","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,3]]}}}