{"id":"https://openalex.org/W2750884072","doi":"https://doi.org/10.1109/tdsc.2018.2812183","title":"HAL\u2014The Missing Piece of the Puzzle for Hardware Reverse Engineering, Trojan Detection and Insertion","display_name":"HAL\u2014The Missing Piece of the Puzzle for Hardware Reverse Engineering, Trojan Detection and Insertion","publication_year":2018,"publication_date":"2018-03-05","ids":{"openalex":"https://openalex.org/W2750884072","doi":"https://doi.org/10.1109/tdsc.2018.2812183","mag":"2750884072"},"language":"en","primary_location":{"id":"doi:10.1109/tdsc.2018.2812183","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tdsc.2018.2812183","pdf_url":null,"source":{"id":"https://openalex.org/S133795288","display_name":"IEEE Transactions on Dependable and Secure Computing","issn_l":"1545-5971","issn":["1545-5971","1941-0018","2160-9209"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Dependable and Secure Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://zenodo.org/record/3494658","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5044241451","display_name":"Marc Fyrbiak","orcid":"https://orcid.org/0000-0002-4266-7108"},"institutions":[{"id":"https://openalex.org/I904495901","display_name":"Ruhr University Bochum","ror":"https://ror.org/04tsk2644","country_code":"DE","type":"education","lineage":["https://openalex.org/I904495901"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Marc Fyrbiak","raw_affiliation_strings":["Horst G\u00f6rtz Institute for IT Security, Ruhr-Universit\u00e4t Bochum, Bochum, Germany"],"raw_orcid":"https://orcid.org/0000-0002-4266-7108","affiliations":[{"raw_affiliation_string":"Horst G\u00f6rtz Institute for IT Security, Ruhr-Universit\u00e4t Bochum, Bochum, Germany","institution_ids":["https://openalex.org/I904495901"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005275199","display_name":"Sebastian Wallat","orcid":"https://orcid.org/0000-0002-7429-1002"},"institutions":[{"id":"https://openalex.org/I24603500","display_name":"University of Massachusetts Amherst","ror":"https://ror.org/0072zz521","country_code":"US","type":"education","lineage":["https://openalex.org/I24603500"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sebastian Wallat","raw_affiliation_strings":["University of Massachusetts Amherst, Amherst, MA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Massachusetts Amherst, Amherst, MA","institution_ids":["https://openalex.org/I24603500"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028882559","display_name":"Pawel Swierczynski","orcid":"https://orcid.org/0000-0002-8010-5149"},"institutions":[{"id":"https://openalex.org/I904495901","display_name":"Ruhr University Bochum","ror":"https://ror.org/04tsk2644","country_code":"DE","type":"education","lineage":["https://openalex.org/I904495901"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Pawel Swierczynski","raw_affiliation_strings":["Horst G\u00f6rtz Institute for IT Security, Ruhr-Universit\u00e4t Bochum, Bochum, Germany"],"raw_orcid":"https://orcid.org/0000-0002-8010-5149","affiliations":[{"raw_affiliation_string":"Horst G\u00f6rtz Institute for IT Security, Ruhr-Universit\u00e4t Bochum, Bochum, Germany","institution_ids":["https://openalex.org/I904495901"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091246257","display_name":"Max Hoffmann","orcid":"https://orcid.org/0000-0002-0678-8631"},"institutions":[{"id":"https://openalex.org/I904495901","display_name":"Ruhr University Bochum","ror":"https://ror.org/04tsk2644","country_code":"DE","type":"education","lineage":["https://openalex.org/I904495901"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Max Hoffmann","raw_affiliation_strings":["Horst G\u00f6rtz Institute for IT Security, Ruhr-Universit\u00e4t Bochum, Bochum, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Horst G\u00f6rtz Institute for IT Security, Ruhr-Universit\u00e4t Bochum, Bochum, Germany","institution_ids":["https://openalex.org/I904495901"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081151139","display_name":"Sebastian Hoppach","orcid":"https://orcid.org/0000-0001-9516-6705"},"institutions":[{"id":"https://openalex.org/I904495901","display_name":"Ruhr University Bochum","ror":"https://ror.org/04tsk2644","country_code":"DE","type":"education","lineage":["https://openalex.org/I904495901"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Sebastian Hoppach","raw_affiliation_strings":["Horst G\u00f6rtz Institute for IT Security, Ruhr-Universit\u00e4t Bochum, Bochum, Germany"],"raw_orcid":"https://orcid.org/0000-0001-9516-6705","affiliations":[{"raw_affiliation_string":"Horst G\u00f6rtz Institute for IT Security, Ruhr-Universit\u00e4t Bochum, Bochum, Germany","institution_ids":["https://openalex.org/I904495901"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002014862","display_name":"Matthias Wilhelm","orcid":"https://orcid.org/0000-0002-0697-1516"},"institutions":[{"id":"https://openalex.org/I904495901","display_name":"Ruhr University Bochum","ror":"https://ror.org/04tsk2644","country_code":"DE","type":"education","lineage":["https://openalex.org/I904495901"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Matthias Wilhelm","raw_affiliation_strings":["Horst G\u00f6rtz Institute for IT Security, Ruhr-Universit\u00e4t Bochum, Bochum, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Horst G\u00f6rtz Institute for IT Security, Ruhr-Universit\u00e4t Bochum, Bochum, Germany","institution_ids":["https://openalex.org/I904495901"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010872533","display_name":"Tobias Weidlich","orcid":null},"institutions":[{"id":"https://openalex.org/I904495901","display_name":"Ruhr University Bochum","ror":"https://ror.org/04tsk2644","country_code":"DE","type":"education","lineage":["https://openalex.org/I904495901"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Tobias Weidlich","raw_affiliation_strings":["Horst G\u00f6rtz Institute for IT Security, Ruhr-Universit\u00e4t Bochum, Bochum, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Horst G\u00f6rtz Institute for IT Security, Ruhr-Universit\u00e4t Bochum, Bochum, Germany","institution_ids":["https://openalex.org/I904495901"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012168703","display_name":"Russell Tessier","orcid":"https://orcid.org/0000-0003-0591-7566"},"institutions":[{"id":"https://openalex.org/I24603500","display_name":"University of Massachusetts Amherst","ror":"https://ror.org/0072zz521","country_code":"US","type":"education","lineage":["https://openalex.org/I24603500"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Russell Tessier","raw_affiliation_strings":["University of Massachusetts Amherst, Amherst, MA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Massachusetts Amherst, Amherst, MA","institution_ids":["https://openalex.org/I24603500"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5041748332","display_name":"Christof Paar","orcid":"https://orcid.org/0000-0001-8681-2277"},"institutions":[{"id":"https://openalex.org/I24603500","display_name":"University of Massachusetts Amherst","ror":"https://ror.org/0072zz521","country_code":"US","type":"education","lineage":["https://openalex.org/I24603500"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Christof Paar","raw_affiliation_strings":["University of Massachusetts Amherst, Amherst, MA"],"raw_orcid":"https://orcid.org/0000-0001-8681-2277","affiliations":[{"raw_affiliation_string":"University of Massachusetts Amherst, Amherst, MA","institution_ids":["https://openalex.org/I24603500"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":8.2938,"has_fulltext":false,"cited_by_count":88,"citation_normalized_percentile":{"value":0.984375,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":"16","issue":"3","first_page":"498","last_page":"510"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12122","display_name":"Physical Unclonable Functions (PUFs) and Hardware Security","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12122","display_name":"Physical Unclonable Functions (PUFs) and Hardware Security","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T14117","display_name":"Integrated Circuits and Semiconductor Failure Analysis","score":0.9919000267982483,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11601","display_name":"Neuroscience and Neural Engineering","score":0.9760000109672546,"subfield":{"id":"https://openalex.org/subfields/2804","display_name":"Cellular and Molecular Neuroscience"},"field":{"id":"https://openalex.org/fields/28","display_name":"Neuroscience"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/netlist","display_name":"Netlist","score":0.9443254470825195},{"id":"https://openalex.org/keywords/reverse-engineering","display_name":"Reverse engineering","score":0.8995832204818726},{"id":"https://openalex.org/keywords/hardware-trojan","display_name":"Hardware Trojan","score":0.8590073585510254},{"id":"https://openalex.org/keywords/trojan","display_name":"Trojan","score":0.7916101813316345},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7721608877182007},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.6488779783248901},{"id":"https://openalex.org/keywords/adversary","display_name":"Adversary","score":0.5844319462776184},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.5491663217544556},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.5086303949356079},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.35163867473602295},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.21739497780799866}],"concepts":[{"id":"https://openalex.org/C177650935","wikidata":"https://www.wikidata.org/wiki/Q1760303","display_name":"Netlist","level":2,"score":0.9443254470825195},{"id":"https://openalex.org/C207850805","wikidata":"https://www.wikidata.org/wiki/Q269608","display_name":"Reverse engineering","level":2,"score":0.8995832204818726},{"id":"https://openalex.org/C2780873074","wikidata":"https://www.wikidata.org/wiki/Q5656397","display_name":"Hardware Trojan","level":3,"score":0.8590073585510254},{"id":"https://openalex.org/C174333608","wikidata":"https://www.wikidata.org/wiki/Q19635","display_name":"Trojan","level":2,"score":0.7916101813316345},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7721608877182007},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.6488779783248901},{"id":"https://openalex.org/C41065033","wikidata":"https://www.wikidata.org/wiki/Q2825412","display_name":"Adversary","level":2,"score":0.5844319462776184},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.5491663217544556},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.5086303949356079},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.35163867473602295},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.21739497780799866}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tdsc.2018.2812183","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tdsc.2018.2812183","pdf_url":null,"source":{"id":"https://openalex.org/S133795288","display_name":"IEEE Transactions on Dependable and Secure Computing","issn_l":"1545-5971","issn":["1545-5971","1941-0018","2160-9209"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Dependable and Secure Computing","raw_type":"journal-article"},{"id":"pmh:oai:zenodo.org:3494658","is_oa":true,"landing_page_url":"https://zenodo.org/record/3494658","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"pmh:oai:zenodo.org:3494658","is_oa":true,"landing_page_url":"https://zenodo.org/record/3494658","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[{"score":0.6100000143051147,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[{"id":"https://openalex.org/G7320671128","display_name":"Exploring and Preventing Cryptographic Hardware Backdoors: Protecting the Internet of Things against Next-Generation Attacks","funder_award_id":"695022","funder_id":"https://openalex.org/F4320338335","funder_display_name":"H2020 European Research Council"}],"funders":[{"id":"https://openalex.org/F4320323715","display_name":"Ruhr-Universit\u00e4t Bochum","ror":"https://ror.org/04tsk2644"},{"id":"https://openalex.org/F4320332749","display_name":"University of Massachusetts Amherst","ror":"https://ror.org/0072zz521"},{"id":"https://openalex.org/F4320338335","display_name":"H2020 European Research Council","ror":"https://ror.org/0472cxd90"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":61,"referenced_works":["https://openalex.org/W76123274","https://openalex.org/W833117353","https://openalex.org/W1500140210","https://openalex.org/W1541663547","https://openalex.org/W1565539145","https://openalex.org/W1966129122","https://openalex.org/W1975607764","https://openalex.org/W1976955200","https://openalex.org/W1995447946","https://openalex.org/W1997144957","https://openalex.org/W1998461107","https://openalex.org/W2005006301","https://openalex.org/W2011712479","https://openalex.org/W2021705882","https://openalex.org/W2026182761","https://openalex.org/W2038758190","https://openalex.org/W2045818632","https://openalex.org/W2047855165","https://openalex.org/W2055635298","https://openalex.org/W2060389684","https://openalex.org/W2063615695","https://openalex.org/W2091656296","https://openalex.org/W2093081283","https://openalex.org/W2093154965","https://openalex.org/W2095410905","https://openalex.org/W2106409910","https://openalex.org/W2112173236","https://openalex.org/W2122509673","https://openalex.org/W2123594341","https://openalex.org/W2127992996","https://openalex.org/W2135211381","https://openalex.org/W2151668694","https://openalex.org/W2154958010","https://openalex.org/W2161998562","https://openalex.org/W2293426816","https://openalex.org/W2336864643","https://openalex.org/W2478867270","https://openalex.org/W2490281467","https://openalex.org/W2511192821","https://openalex.org/W2511422681","https://openalex.org/W2524064595","https://openalex.org/W2563888639","https://openalex.org/W2564565181","https://openalex.org/W2570260769","https://openalex.org/W2612354329","https://openalex.org/W2618215639","https://openalex.org/W2754409419","https://openalex.org/W2754667819","https://openalex.org/W2951458793","https://openalex.org/W3106531880","https://openalex.org/W3207160674","https://openalex.org/W4229872711","https://openalex.org/W4234154886","https://openalex.org/W6629918636","https://openalex.org/W6632480037","https://openalex.org/W6675797392","https://openalex.org/W6680723078","https://openalex.org/W6731150705","https://openalex.org/W6737351731","https://openalex.org/W6764559135","https://openalex.org/W6765929612"],"related_works":["https://openalex.org/W2795151239","https://openalex.org/W2724859555","https://openalex.org/W3160241274","https://openalex.org/W2800991926","https://openalex.org/W2536483783","https://openalex.org/W3040363299","https://openalex.org/W4292862463","https://openalex.org/W2756672502","https://openalex.org/W2903337714","https://openalex.org/W2750884072"],"abstract_inverted_index":{"Hardware":[0],"manipulations":[1],"pose":[2],"a":[3,11,63,90,128,166,195],"serious":[4],"threat":[5],"to":[6,16,28,54,182],"numerous":[7],"systems,":[8],"ranging":[9],"from":[10],"myriad":[12],"of":[13,49,62,81,143,155,198],"smart-X":[14],"devices":[15],"military":[17],"systems.":[18],"In":[19,35],"many":[20],"attack":[21],"scenarios":[22],"an":[23],"adversary":[24],"merely":[25],"has":[26],"access":[27],"the":[29,37,44,52,60,76,139,144,199],"low-level,":[30],"potentially":[31],"obfuscated":[32,159],"gate-level":[33,98],"netlist.":[34],"general,":[36],"attacker":[38],"possesses":[39],"minimal":[40,113],"information":[41],"and":[42,46,94,121,184,188],"faces":[43],"costly":[45],"time-consuming":[47],"task":[48],"reverse":[50,92,119,179],"engineering":[51,93,120,180],"design":[53,104],"identify":[55],"security-critical":[56],"circuitry,":[57],"followed":[58],"by":[59,75],"insertion":[61],"meaningful":[64],"hardware":[65,172],"Trojan.":[66],"These":[67],"challenges":[68],"have":[69],"been":[70],"considered":[71],"only":[72],"in":[73],"passing":[74],"research":[77],"community.":[78],"The":[79],"contribution":[80],"this":[82],"work":[83],"is":[84,153],"threefold:":[85],"First,":[86],"we":[87,126,149,163],"present":[88,127,178],"HAL,":[89],"comprehensive":[91],"manipulation":[95],"framework":[96],"for":[97],"netlists.":[99],"HAL":[100],"allows":[101],"automating":[102],"defensive":[103],"analysis":[105,131],"(e.g.,":[106],"including":[107],"arbitrary":[108],"Trojan":[109,132],"detection":[110,133,141,145],"algorithms":[111,181],"with":[112,160],"effort)":[114],"as":[115,117],"well":[116],"offensive":[118],"targeted":[122],"logic":[123],"insertion.":[124],"Second,":[125],"novel":[129],"static":[130],"technique":[134,146],"ANGEL":[135,152],"which":[136],"considerably":[137],"reduces":[138],"false-positive":[140],"rate":[142],"FANCI.":[147],"Furthermore,":[148],"demonstrate":[150,164],"that":[151],"capable":[154],"automatically":[156],"detecting":[157],"Trojans":[158,173],"DeTrust.":[161],"Third,":[162],"how":[165],"malicious":[167],"party":[168],"can":[169],"semi-automatically":[170],"inject":[171],"into":[174],"third-party":[175],"designs.":[176],"We":[177],"disarm":[183],"trick":[185],"cryptographic":[186,191],"self-tests,":[187],"subtly":[189],"leak":[190],"keys":[192],"without":[193],"any":[194],"priori":[196],"knowledge":[197],"design's":[200],"internal":[201],"workings.":[202]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":10},{"year":2024,"cited_by_count":11},{"year":2023,"cited_by_count":14},{"year":2022,"cited_by_count":15},{"year":2021,"cited_by_count":15},{"year":2020,"cited_by_count":8},{"year":2019,"cited_by_count":10},{"year":2018,"cited_by_count":2}],"updated_date":"2026-07-15T18:14:33.161393","created_date":"2025-10-10T00:00:00"}