{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,19]],"date-time":"2026-06-19T02:26:00Z","timestamp":1781835960473,"version":"3.54.5"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,6]]},"DOI":"10.1109\/hst.2013.6581568","type":"proceedings-article","created":{"date-parts":[[2013,8,28]],"date-time":"2013-08-28T17:14:00Z","timestamp":1377710040000},"page":"67-74","source":"Crossref","is-referenced-by-count":60,"title":["WordRev: Finding word-level structures in a sea of bit-level gates"],"prefix":"10.1109","author":[{"given":"Wenchao","family":"Li","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Adria","family":"Gascon","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Pramod","family":"Subramanyan","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":"Sharad","family":"Malik","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"}]}],"member":"263","reference":[{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2010.7"},{"key":"16","first-page":"363","article-title":"The state-of-the-art in IC reverse engineering","volume":"5747","author":"torrance","year":"2009","journal-title":"11th International Workshop on Cryptographic Hardware and Embedded Systems (CHES) of Lecture Notes in Computer Science"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2011.32"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2013.264"},{"key":"11","author":"peh","year":"2001","journal-title":"Flow Control and Micro-Architectural Mechanisms for Extending the Performance of Interconnection Networks"},{"key":"12","article-title":"Computer logic","author":"roth","year":"1980","journal-title":"Verification testing"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2005.1560122"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1990.114910"},{"key":"1","year":"0","journal-title":"Opencores"},{"key":"10","first-page":"71","volume":"7","author":"lonsing","year":"2010","journal-title":"Depqbf A Dependency-aware Qbf Solver JSAT"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/HST.2009.5224971"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2010.18"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/54.785838"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2001.915010"},{"key":"9","doi-asserted-by":"crossref","first-page":"382","DOI":"10.1007\/978-3-642-04138-9_27","article-title":"Trojan sidechannels: Lightweight hardware trojans through side-channel engineering","volume":"5747","author":"lin","year":"2009","journal-title":"Cryptographic Hardware and Embedded Systems-CHES 2009 11th International Workshop Proceedings of Lecture Notes in Computer Science"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/HST.2012.6224325"}],"event":{"name":"2013 IEEE International Symposium on Hardware-Oriented Security and Trust (HOST)","location":"Austin, TX, USA","start":{"date-parts":[[2013,6,2]]},"end":{"date-parts":[[2013,6,3]]}},"container-title":["2013 IEEE International Symposium on Hardware-Oriented Security and Trust (HOST)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6573517\/6581554\/06581568.pdf?arnumber=6581568","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T16:53:35Z","timestamp":1498064015000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6581568\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/hst.2013.6581568","relation":{},"subject":[],"published":{"date-parts":[[2013,6]]}}}