{"id":"https://openalex.org/W4385301505","doi":"https://doi.org/10.1109/coins57856.2023.10189294","title":"Exploring the Limitations of the Property-based Hardware-Trojan Detection Methods","display_name":"Exploring the Limitations of the Property-based Hardware-Trojan Detection Methods","publication_year":2023,"publication_date":"2023-07-23","ids":{"openalex":"https://openalex.org/W4385301505","doi":"https://doi.org/10.1109/coins57856.2023.10189294"},"language":"en","primary_location":{"id":"doi:10.1109/coins57856.2023.10189294","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/coins57856.2023.10189294","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE International Conference on Omni-layer Intelligent Systems (COINS)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5060795439","display_name":"Segev Zaken","orcid":"https://orcid.org/0009-0004-2616-4430"},"institutions":[{"id":"https://openalex.org/I174306211","display_name":"Technion \u2013 Israel Institute of Technology","ror":"https://ror.org/03qryx823","country_code":"IL","type":"education","lineage":["https://openalex.org/I174306211"]}],"countries":["IL"],"is_corresponding":true,"raw_author_name":"Segev Zaken","raw_affiliation_strings":["Technion - Israel Institute of Technology,Department of Physics","Department of Physics, Technion - Israel Institute of Technology"],"affiliations":[{"raw_affiliation_string":"Technion - Israel Institute of Technology,Department of Physics","institution_ids":["https://openalex.org/I174306211"]},{"raw_affiliation_string":"Department of Physics, Technion - Israel Institute of Technology","institution_ids":["https://openalex.org/I174306211"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5092777154","display_name":"Keshet Meir","orcid":null},"institutions":[{"id":"https://openalex.org/I174306211","display_name":"Technion \u2013 Israel Institute of Technology","ror":"https://ror.org/03qryx823","country_code":"IL","type":"education","lineage":["https://openalex.org/I174306211"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Keshet Meir","raw_affiliation_strings":["Technion - Israel Institute of Technology,Department of Electrical and Computer Engineering","Department of Electrical and Computer Engineering, Technion - Israel Institute of Technology"],"affiliations":[{"raw_affiliation_string":"Technion - Israel Institute of Technology,Department of Electrical and Computer Engineering","institution_ids":["https://openalex.org/I174306211"]},{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Technion - Israel Institute of Technology","institution_ids":["https://openalex.org/I174306211"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055334358","display_name":"Leonid Azriel","orcid":"https://orcid.org/0000-0003-1603-1365"},"institutions":[{"id":"https://openalex.org/I174306211","display_name":"Technion \u2013 Israel Institute of Technology","ror":"https://ror.org/03qryx823","country_code":"IL","type":"education","lineage":["https://openalex.org/I174306211"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Leonid Azriel","raw_affiliation_strings":["Technion - Israel Institute of Technology,Department of Computer Science","Department of Computer Science, Technion - Israel Institute of Technology"],"affiliations":[{"raw_affiliation_string":"Technion - Israel Institute of Technology,Department of Computer Science","institution_ids":["https://openalex.org/I174306211"]},{"raw_affiliation_string":"Department of Computer Science, Technion - Israel Institute of Technology","institution_ids":["https://openalex.org/I174306211"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5092777155","display_name":"Tomer Rindenau","orcid":null},"institutions":[{"id":"https://openalex.org/I174306211","display_name":"Technion \u2013 Israel Institute of Technology","ror":"https://ror.org/03qryx823","country_code":"IL","type":"education","lineage":["https://openalex.org/I174306211"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Tomer Rindenau","raw_affiliation_strings":["Technion - Israel Institute of Technology,Department of Electrical and Computer Engineering","Department of Electrical and Computer Engineering, Technion - Israel Institute of Technology"],"affiliations":[{"raw_affiliation_string":"Technion - Israel Institute of Technology,Department of Electrical and Computer Engineering","institution_ids":["https://openalex.org/I174306211"]},{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Technion - Israel Institute of Technology","institution_ids":["https://openalex.org/I174306211"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5089135250","display_name":"Avi Mendelson","orcid":"https://orcid.org/0000-0003-4274-6866"},"institutions":[{"id":"https://openalex.org/I174306211","display_name":"Technion \u2013 Israel Institute of Technology","ror":"https://ror.org/03qryx823","country_code":"IL","type":"education","lineage":["https://openalex.org/I174306211"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Avi Mendelson","raw_affiliation_strings":["Technion - Israel Institute of Technology,Department of Computer Science","Department of Computer Science, Technion - Israel Institute of Technology"],"affiliations":[{"raw_affiliation_string":"Technion - Israel Institute of Technology,Department of Computer Science","institution_ids":["https://openalex.org/I174306211"]},{"raw_affiliation_string":"Department of Computer Science, Technion - Israel Institute of Technology","institution_ids":["https://openalex.org/I174306211"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5060795439"],"corresponding_institution_ids":["https://openalex.org/I174306211"],"apc_list":null,"apc_paid":null,"fwci":0.308,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.48916457,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"6","issue":null,"first_page":"1","last_page":"6"},"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":0.9998999834060669,"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":0.9998999834060669,"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.9753000140190125,"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.9544000029563904,"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/trojan","display_name":"Trojan","score":0.8130620718002319},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6617410182952881},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.6285575032234192},{"id":"https://openalex.org/keywords/hardware-trojan","display_name":"Hardware Trojan","score":0.5704684853553772},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.4381087124347687},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.3494842052459717},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.32591474056243896}],"concepts":[{"id":"https://openalex.org/C174333608","wikidata":"https://www.wikidata.org/wiki/Q19635","display_name":"Trojan","level":2,"score":0.8130620718002319},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6617410182952881},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.6285575032234192},{"id":"https://openalex.org/C2780873074","wikidata":"https://www.wikidata.org/wiki/Q5656397","display_name":"Hardware Trojan","level":3,"score":0.5704684853553772},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4381087124347687},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.3494842052459717},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.32591474056243896},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/coins57856.2023.10189294","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/coins57856.2023.10189294","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE International Conference on Omni-layer Intelligent Systems (COINS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W1994870682","https://openalex.org/W2098536553","https://openalex.org/W2124618076","https://openalex.org/W2151668694","https://openalex.org/W2160597734","https://openalex.org/W2274193143","https://openalex.org/W2606854262","https://openalex.org/W3113267236","https://openalex.org/W4252148401"],"related_works":["https://openalex.org/W4385434494","https://openalex.org/W3159333627","https://openalex.org/W3004467197","https://openalex.org/W2091750459","https://openalex.org/W4328053173","https://openalex.org/W1500594134","https://openalex.org/W3084939900","https://openalex.org/W2382172865","https://openalex.org/W1526642037","https://openalex.org/W4321062229"],"abstract_inverted_index":{"The":[0],"ever-growing":[1],"complexity":[2],"of":[3,11,13,18,28,33,49,56,97,177,196],"the":[4,9,26,54,91,94,98,110,141,151,160,178,197,203],"IC":[5],"supply":[6],"chain":[7],"increases":[8],"risk":[10],"involvement":[12],"a":[14,20,57,69,122],"malicious":[15],"agent":[16],"capable":[17],"inserting":[19],"Hardware":[21,29,113],"Trojan":[22,43,105],"(HT).":[23],"As":[24],"such,":[25],"detection":[27,44,134],"Trojans":[30,78,114],"has":[31],"become":[32],"central":[34],"interest.":[35],"In":[36,124],"recent":[37],"years,":[38],"many":[39],"methods":[40,89,183],"for":[41,64,188],"hardware":[42],"have":[45],"been":[46],"proposed.":[47],"Some":[48,88],"them":[50,139],"are":[51],"based":[52,79],"on":[53,80,140,147,163,202],"existence":[55],"\u2018Golden":[58],"Model\u2019,":[59],"which":[60],"can":[61],"be":[62,169,185],"used":[63],"comparison.":[65],"Thus,":[66],"when":[67],"such":[68,121],"model":[70],"does":[71],"not":[72],"exist,":[73],"researchers":[74],"suggest":[75,182],"to":[76,86,126,184],"detect":[77],"logical":[81],"or":[82],"functional":[83],"properties":[84,92,118],"attributed":[85],"them.":[87],"derive":[90],"from":[93,103],"expected":[95],"behavior":[96],"Trojan,":[99],"others":[100],"extract":[101],"features":[102],"synthetic":[104],"benchmarks.":[106,149],"This":[107],"paper":[108],"challenges":[109],"assumption":[111],"that":[112,119,166],"possess":[115],"some":[116],"unique":[117],"allow":[120],"classification.":[123],"order":[125],"support":[127],"this,":[128],"we":[129,153,181],"examine":[130],"two":[131],"published":[132,142],"property-based":[133],"methods,":[135],"replicate":[136],"and":[137,158,174,199],"test":[138],"benchmarks":[143],"as":[144,146],"well":[145],"Trojan-free":[148],"With":[150],"latter,":[152],"observe":[154],"large":[155],"false-positive":[156],"rates":[157],"assert":[159],"methods'":[161],"dependency":[162,201],"pre-determined":[164],"thresholds,":[165],"cannot":[167],"necessarily":[168],"decided":[170],"correctly":[171],"without":[172,192],"prior":[173,194],"vast":[175],"knowledge":[176,195],"circuit.":[179],"Finally,":[180],"further":[186],"explored":[187],"finding":[189],"fitting":[190],"thresholds":[191],"said":[193],"circuit":[198],"reducing":[200],"implementation.":[204]},"counts_by_year":[{"year":2023,"cited_by_count":1}],"updated_date":"2025-12-24T23:09:58.560324","created_date":"2025-10-10T00:00:00"}
