{"id":"https://openalex.org/W2950680596","doi":"https://doi.org/10.1109/hst.2019.8740833","title":"Exploiting Proximity Information in a Satisfiability Based Attack Against Split Manufactured Circuits","display_name":"Exploiting Proximity Information in a Satisfiability Based Attack Against Split Manufactured Circuits","publication_year":2019,"publication_date":"2019-05-01","ids":{"openalex":"https://openalex.org/W2950680596","doi":"https://doi.org/10.1109/hst.2019.8740833","mag":"2950680596"},"language":"en","primary_location":{"id":"doi:10.1109/hst.2019.8740833","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hst.2019.8740833","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 IEEE International Symposium on Hardware Oriented Security and Trust (HOST)","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/A5051831487","display_name":"Suyuan Chen","orcid":null},"institutions":[{"id":"https://openalex.org/I63135867","display_name":"University of Cincinnati","ror":"https://ror.org/01e3m7079","country_code":"US","type":"education","lineage":["https://openalex.org/I63135867"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Suyuan Chen","raw_affiliation_strings":["Department of Electrical Engineering and Computing Systems, University of Cincinnati, Cincinnati, Ohio"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering and Computing Systems, University of Cincinnati, Cincinnati, Ohio","institution_ids":["https://openalex.org/I63135867"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5040975645","display_name":"Ranga Vemuri","orcid":"https://orcid.org/0000-0002-4903-2746"},"institutions":[{"id":"https://openalex.org/I63135867","display_name":"University of Cincinnati","ror":"https://ror.org/01e3m7079","country_code":"US","type":"education","lineage":["https://openalex.org/I63135867"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ranga Vemuri","raw_affiliation_strings":["Department of Electrical Engineering and Computing Systems, University of Cincinnati, Cincinnati, Ohio"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering and Computing Systems, University of Cincinnati, Cincinnati, Ohio","institution_ids":["https://openalex.org/I63135867"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I63135867"],"apc_list":null,"apc_paid":null,"fwci":0.9576,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.72751393,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"171","last_page":"180"},"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.9908000230789185,"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.9613999724388123,"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.6916251182556152},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6843278408050537},{"id":"https://openalex.org/keywords/interconnection","display_name":"Interconnection","score":0.5628186464309692},{"id":"https://openalex.org/keywords/electronic-circuit","display_name":"Electronic circuit","score":0.5420966148376465},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.479783833026886},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.4692910611629486},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.4532809853553772},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.43756580352783203},{"id":"https://openalex.org/keywords/integrated-circuit","display_name":"Integrated circuit","score":0.4283660352230072},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.36182641983032227},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3537822365760803},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3379712998867035},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3249608874320984},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.13548877835273743},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.13428786396980286},{"id":"https://openalex.org/keywords/electrical-engineering","display_name":"Electrical engineering","score":0.09726309776306152}],"concepts":[{"id":"https://openalex.org/C177650935","wikidata":"https://www.wikidata.org/wiki/Q1760303","display_name":"Netlist","level":2,"score":0.6916251182556152},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6843278408050537},{"id":"https://openalex.org/C123745756","wikidata":"https://www.wikidata.org/wiki/Q1665949","display_name":"Interconnection","level":2,"score":0.5628186464309692},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.5420966148376465},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.479783833026886},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.4692910611629486},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.4532809853553772},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.43756580352783203},{"id":"https://openalex.org/C530198007","wikidata":"https://www.wikidata.org/wiki/Q80831","display_name":"Integrated circuit","level":2,"score":0.4283660352230072},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.36182641983032227},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3537822365760803},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3379712998867035},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3249608874320984},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.13548877835273743},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.13428786396980286},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.09726309776306152},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/hst.2019.8740833","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hst.2019.8740833","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 IEEE International Symposium on Hardware Oriented Security and Trust (HOST)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W1524250393","https://openalex.org/W1565539145","https://openalex.org/W1987786682","https://openalex.org/W2064066670","https://openalex.org/W2083314129","https://openalex.org/W2092545762","https://openalex.org/W2093405763","https://openalex.org/W2112173236","https://openalex.org/W2404942596","https://openalex.org/W2615010670","https://openalex.org/W2772235844","https://openalex.org/W2788317989","https://openalex.org/W2805528544","https://openalex.org/W2909360910","https://openalex.org/W2920495602","https://openalex.org/W2951325841","https://openalex.org/W4234937017","https://openalex.org/W4302087205","https://openalex.org/W6748750279"],"related_works":["https://openalex.org/W2170314243","https://openalex.org/W2119179026","https://openalex.org/W4251860244","https://openalex.org/W2101347856","https://openalex.org/W2955487432","https://openalex.org/W4386694274","https://openalex.org/W3146543203","https://openalex.org/W2795180100","https://openalex.org/W2099346120","https://openalex.org/W2981823863"],"abstract_inverted_index":{"Split":[0],"Manufacturing":[1],"(SM)":[2],"was":[3],"introduced":[4],"as":[5,16,56,93],"an":[6,135],"effective":[7,136],"countermeasure":[8],"to":[9,20,30,69,138,147,175,207],"reverse":[10],"engineering":[11],"of":[12,74,96,118,151,168,178,180],"integrated":[13],"circuits":[14,192],"and":[15,23,35,60,102,196,226],"a":[17,38,80,94,98,109],"potential":[18],"deterrent":[19],"Trojan":[21],"insertion":[22],"overproduction.":[24],"In":[25,78,130],"SM,":[26],"some":[27,71],"wires,":[28],"assigned":[29],"the":[31,44,65,75,88,105,119,144,149,152,157,166,169,181,202,211,219],"back-end-of-line":[32],"(BEOL)":[33],"layers":[34,160],"fabricated":[36],"at":[37],"secure":[39],"facility,":[40],"are":[41],"hidden":[42],"from":[43,64,143,193],"attacker.":[45],"However,":[46],"proximity":[47,140,215],"information":[48,141],"based":[49,85],"attacks":[50],"use":[51],"physical":[52],"design":[53],"hints":[54],"such":[55],"wire-length,":[57],"combinational":[58,225],"cycles":[59],"routing":[61],"directions":[62],"obtained":[63],"FEOL":[66,145],"(front-end-of-line)":[67],"netlist":[68],"recover":[70,116],"or":[72],"all":[73,224],"BEOL":[76,89,120,159,183],"signals.":[77],"addition,":[79],"recently":[81],"proposed":[82,203],"satisfiability":[83],"(SAT)":[84],"attack":[86,213,221],"models":[87,156],"signal":[90],"recovery":[91,177],"problem":[92,95],"configuring":[97],"key-controlled":[99],"interconnect":[100],"network":[101,154],"solves":[103],"for":[104,127,186,223],"key":[106],"values":[107],"using":[108,191],"SAT":[110,171],"solver.":[111],"While":[112],"this":[113,131],"method":[114,137,204],"can":[115],"100%":[117,179,220],"signals,":[121],"it":[122],"takes":[123],"impractically":[124],"long":[125],"time":[126],"large":[128,187],"circuits.":[129,188],"paper,":[132],"we":[133],"propose":[134],"exploit":[139],"extracted":[142],"circuit":[146],"reduce":[148],"size":[150,167],"interconnection":[153],"which":[155,161],"missing":[158],"in":[162],"turn":[163],"significantly":[164],"reduces":[165],"resulting":[170],"problem.":[172],"This":[173],"leads":[174],"efficient":[176],"`hidden'":[182],"signals":[184],"even":[185],"Experimental":[189],"results":[190],"ISCAS85,":[194],"ISCAS89":[195],"ITC99":[197],"benchmark":[198],"suites":[199],"show":[200],"that":[201],"is":[205],"up":[206],"80\u00d7":[208],"faster":[209],"than":[210],"SAT-only":[212],"(without":[214],"information)":[216],"while":[217],"maintaining":[218],"correctness":[222],"sequential":[227],"benchmarks.":[228]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}