{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T05:18:59Z","timestamp":1729660739680,"version":"3.28.0"},"reference-count":34,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,1]]},"DOI":"10.1109\/aspdac.2016.7428081","type":"proceedings-article","created":{"date-parts":[[2016,3,10]],"date-time":"2016-03-10T21:48:08Z","timestamp":1457646488000},"page":"623-630","source":"Crossref","is-referenced-by-count":4,"title":["To Detect, Locate, and Mask Hardware Trojans in digital circuits by reverse engineering and functional ECO"],"prefix":"10.1109","author":[{"given":"Xing","family":"Wei","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yi","family":"Diao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yu-Liang","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/43.594832"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/VLSID.2014.71"},{"key":"ref31","article-title":"Almost every wire is removable: A modeling and solution for removing any circuit wire","author":"yang","year":"0","journal-title":"Proc Design Automation and Test in Europe Conference and Exhibition 2012"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837400"},{"year":"0","key":"ref34","article-title":"Easy-HT-Killer (25th Oct, 2014 version)"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2016.7428002"},{"year":"2012","key":"ref11","article-title":"DARPA, Arlington, VA, USA. Integrity and Reliability of Integrated Circuits (IRIS)"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TETC.2013.2294918"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2508859.2516654"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2463209.2488808"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2744769.2744823"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1147\/rd.261.0106"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"ref18","first-page":"502","article-title":"An extensible SAT-solver","author":"een","year":"2003","journal-title":"Proc SAT"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2001.915010"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/j.mee.2006.02.017"},{"key":"ref4","first-page":"15","article-title":"Detecting malicious inclusions in secure hardware: Challenges and solutions","author":"wang","year":"2008","journal-title":"Proc IEEE Intl Workshop Hardware-Oriented Security and Trust (HOST)"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/43.784128"},{"key":"ref3","article-title":"ICCAD-2014 CAD contest in simultaneous CNF encoder optimization with SAT solver setting selection","author":"hsu","year":"0","journal-title":"Proc International Conference on Computer-Aided Design 2014"},{"key":"ref6","article-title":"Hardware trojans-prevention, detection, counterrneasures (a literature review)","author":"hopkins","year":"2011","journal-title":"Defence Science And Technology Organisation Edinburgh (Australia) Command Control Communications And Intelligence Div"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/43.552082"},{"key":"ref5","first-page":"10","article-title":"A survey of hardware trojan taxonomy and detection","volume":"1","author":"mohammad","year":"2010","journal-title":"IEEE Design & Test of Computers"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/HST.2013.6581574"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2010.20"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2013.6691129"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2660267.2660289"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/2429384.2429455"},{"key":"ref20","article-title":"Equivalence checking hardware multiplier designs","author":"jarvisalo","year":"0","journal-title":"SAT Competition 2007 – benchmark description 2007"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2015.0746"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/2744769.2744925"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/217474.217604"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/1687399.1687546"},{"key":"ref26","article-title":"Orthogonal greedy coupling – a new optimization approach to 2-D FPGA routing","author":"wu","year":"1995","journal-title":"Proc Design Automation Conference"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/2024724.2024758"}],"event":{"name":"2016 21st Asia and South Pacific Design Automation Conference (ASP-DAC)","start":{"date-parts":[[2016,1,25]]},"location":"Macao, Macao","end":{"date-parts":[[2016,1,28]]}},"container-title":["2016 21st Asia and South Pacific Design Automation Conference (ASP-DAC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7422345\/7427971\/7428081.pdf?arnumber=7428081","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,9,30]],"date-time":"2016-09-30T01:28:33Z","timestamp":1475198913000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7428081\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,1]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/aspdac.2016.7428081","relation":{},"subject":[],"published":{"date-parts":[[2016,1]]}}}