{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,6]],"date-time":"2026-07-06T11:27:10Z","timestamp":1783337230770,"version":"3.54.6"},"reference-count":62,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T00:00:00Z","timestamp":1556668800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T00:00:00Z","timestamp":1556668800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T00:00:00Z","timestamp":1556668800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100010663","name":"H2020 European Research Council","doi-asserted-by":"crossref","award":["695022"],"award-info":[{"award-number":["695022"]}],"id":[{"id":"10.13039\/100010663","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Dependable and Secure Comput."],"published-print":{"date-parts":[[2019,5,1]]},"DOI":"10.1109\/tdsc.2018.2812183","type":"journal-article","created":{"date-parts":[[2018,3,5]],"date-time":"2018-03-05T19:14:06Z","timestamp":1520277246000},"page":"498-510","source":"Crossref","is-referenced-by-count":67,"title":["HAL\u2014The Missing Piece of the Puzzle for Hardware Reverse Engineering, Trojan Detection and Insertion"],"prefix":"10.1109","volume":"16","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4266-7108","authenticated-orcid":false,"given":"Marc","family":"Fyrbiak","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sebastian","family":"Wallat","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8010-5149","authenticated-orcid":false,"given":"Pawel","family":"Swierczynski","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Max","family":"Hoffmann","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9516-6705","authenticated-orcid":false,"given":"Sebastian","family":"Hoppach","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Matthias","family":"Wilhelm","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tobias","family":"Weidlich","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Russell","family":"Tessier","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8681-2277","authenticated-orcid":false,"given":"Christof","family":"Paar","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/2463209.2488808"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2010.18"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2013.264"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/HST.2013.6581568"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/HST.2012.6224325"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ISCIT.2012.6380958"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2010.7"},{"key":"ref36","article-title":"Report of the Defense Science Board Task Force on High Performance Microchip Supply","year":"2005"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/IVSW.2017.8031551"},{"key":"ref34","first-page":"83","article-title":"Template-based circuit understanding","author":"gasc\u00f3n","year":"2014","journal-title":"Proc Formal Methods Comput -Aided Des"},{"key":"ref60","first-page":"414","article-title":"ATHENa - Automated tool for hardware evaluation","author":"gaj","year":"2010","journal-title":"Proc Int Conf Field Programmable Logic Appl"},{"key":"ref62","first-page":"1","article-title":"In the blink of an eye: There goes your AES key","volume":"2012 296","author":"skorobogatov","year":"2012","journal-title":"IACR Cryptology ePrint Archive"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1109\/ReConFig.2011.9"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/54.785838"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/IVSW.2017.8031550"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2010.5537093"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2046707.2046722"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2014.2335155"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2508859.2516654"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/2755563"},{"key":"ref21","first-page":"1","article-title":"Advancing the state-of-the-art in hardware trojans detection","volume":"pp","author":"haider","year":"2017","journal-title":"IEEE Trans Dependable Secure Comput"},{"key":"ref24","article-title":"Active hardware metering for intellectual property protection and security","author":"alkabani","year":"2007","journal-title":"Proc 16th USENIX Security Symp"},{"key":"ref23","first-page":"894","article-title":"BITMAN: A tool and API for FPGA bitstream manipulations","author":"pham","year":"2017","journal-title":"Proc Design Autom Test Eur Conf Exhib"},{"key":"ref26","first-page":"3","author":"shakya","year":"2017","journal-title":"Introduction to Hardware Obfuscation Motivation Methods and Evaluation"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2009.2028166"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2013.6657085"},{"key":"ref51","article-title":"Verilator","author":"snyder","year":"2017"},{"key":"ref59","article-title":"A cautionary note on weak implementations of block ciphers","author":"kerins","year":"2006","journal-title":"Proc Workshop Inf Syst Secur"},{"key":"ref58","article-title":"FIPS PUB 140-2, Security Requirements for Cryptographic Modules","year":"2001"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-007-1338-3"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2014.2331672"},{"key":"ref55","article-title":"Suite B Cryptography","year":"2001"},{"key":"ref54","first-page":"1","article-title":"A red team\/blue team assessment of functional analysis methods for malicious circuit identification","author":"waksman","year":"2014","journal-title":"Proc 51st ACM\/EDAC\/IEEE Design Autom Conf"},{"key":"ref53","year":"2017"},{"key":"ref52","article-title":"BuDDy: A binary decision diagram library","author":"lind-nielsen","year":"2017"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2660267.2660289"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-53140-2_30"},{"key":"ref40","first-page":"471","article-title":"Hardware trojan detection for gate-level ICs using signal correlation based clustering","author":"cak?r","year":"2015","journal-title":"Proc Des Autom Test Eur Conf Exhib"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2016.10"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2508859.2516656"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2016.2601067"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04138-9_26"},{"key":"ref16","year":"2017"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TETC.2013.2294918"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2016.7428086"},{"key":"ref19","article-title":"Gate-level netlist reverse engineering tool set for functionality recovery and malicious logic detection","author":"meade","year":"2016","journal-title":"Proc Int Symp Testing and Failure Analysis"},{"key":"ref4","first-page":"1","article-title":"Interdiction in Practice—Hardware Trojan against a High-Security USB Flash Drive","volume":"7","author":"swierczynski","year":"2016","journal-title":"J Cryptographic Eng"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2435264.2435282"},{"key":"ref6","first-page":"1","article-title":"Designing and implementing malicious hardware","author":"king","year":"2008","journal-title":"USENIX Workshop on Large-scale Exploits and Emergent Threats"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2014.2334493"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2011.6081410"},{"key":"ref7","first-page":"382","article-title":"Trojan side-channels: Lightweight hardware trojans through side-channel engineering","author":"lin","year":"2009","journal-title":"Cryptographic Hardware and Embedded Systems"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2016.2646367"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40349-1_12"},{"key":"ref46","article-title":"Project IceStorm","author":"wolf","year":"2015"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1016\/j.micpro.2012.12.003"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1007\/s13389-015-0103-4"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2015.2399455"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/2629462"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2016.2613842"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/FPL.2012.6339165"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/1344671.1344729"}],"container-title":["IEEE Transactions on Dependable and Secure Computing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8858\/8713427\/08306831.pdf?arnumber=8306831","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,13]],"date-time":"2022-07-13T20:48:35Z","timestamp":1657745315000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8306831\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,5,1]]},"references-count":62,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tdsc.2018.2812183","relation":{},"ISSN":["1545-5971","1941-0018","2160-9209"],"issn-type":[{"value":"1545-5971","type":"print"},{"value":"1941-0018","type":"electronic"},{"value":"2160-9209","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,5,1]]}}}