{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,3]],"date-time":"2026-06-03T00:13:03Z","timestamp":1780445583716,"version":"3.54.1"},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,6]]},"DOI":"10.1109\/hst.2010.5513114","type":"proceedings-article","created":{"date-parts":[[2010,7,23]],"date-time":"2010-07-23T13:51:20Z","timestamp":1279893080000},"page":"56-59","source":"Crossref","is-referenced-by-count":83,"title":["Trusted RTL: Trojan detection methodology in pre-silicon designs"],"prefix":"10.1109","author":[{"given":"Mainak","family":"Banga","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Michael S.","family":"Hsiao","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/HST.2008.4559037"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/sp.2007.36"},{"key":"ref3","first-page":"43","article-title":"A Region Based Approach for the Det. of Hardware Trojans","author":"Banga"},{"key":"ref4","first-page":"327","article-title":"A Novel Sustained Vector Tech. for the Det. of Hardware Trojans","author":"Banga","journal-title":"VLSI Design09"},{"key":"ref5","first-page":"104","article-title":"VITAMIN: Voltage Inversion Tech. to Ascertain Malicious Insertions in ICs","author":"Banga","journal-title":"HOST09"},{"key":"ref6","first-page":"51","article-title":"Hardware Trojan Det. using Path Delay fingerprint","author":"Jin","journal-title":"HOST08"},{"key":"ref7","first-page":"8","article-title":"At-speed delay characterization for IC auth. and Trojan Horse detection","author":"Li","journal-title":"HOST08"},{"key":"ref8","first-page":"142","article-title":"Chaff: Engg. an Efficient SAT-Solver, DAC02","author":"Moskewicz"},{"key":"ref9","first-page":"506","article-title":"GRASP: A search algo. for prepositional SAT","volume":"48","author":"Silva","year":"1999","journal-title":"IEEE Trans. on CAD"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04138-9_28"}],"event":{"name":"2010 IEEE International Symposium on Hardware-Oriented Security and Trust (HOST)","location":"Anaheim, CA, USA","start":{"date-parts":[[2010,6,13]]},"end":{"date-parts":[[2010,6,14]]}},"container-title":["2010 IEEE International Symposium on Hardware-Oriented Security and Trust (HOST)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5507538\/5513098\/05513114.pdf?arnumber=5513114","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,1]],"date-time":"2024-03-01T21:30:12Z","timestamp":1709328612000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5513114\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,6]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/hst.2010.5513114","relation":{},"subject":[],"published":{"date-parts":[[2010,6]]}}}