{"id":"https://openalex.org/W2909360910","doi":"https://doi.org/10.1109/iccd.2018.00085","title":"Reverse Engineering of Split Manufactured Sequential Circuits Using Satisfiability Checking","display_name":"Reverse Engineering of Split Manufactured Sequential Circuits Using Satisfiability Checking","publication_year":2018,"publication_date":"2018-10-01","ids":{"openalex":"https://openalex.org/W2909360910","doi":"https://doi.org/10.1109/iccd.2018.00085","mag":"2909360910"},"language":"en","primary_location":{"id":"doi:10.1109/iccd.2018.00085","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccd.2018.00085","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 IEEE 36th International Conference on Computer Design (ICCD)","raw_type":"proceedings-article"},"type":"conference-paper","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, OH, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering and Computing Systems, University of Cincinnati, Cincinnati, OH, USA","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, OH, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering and Computing Systems, University of Cincinnati, Cincinnati, OH, USA","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.4406,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.55394675,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"530","last_page":"536"},"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.9887999892234802,"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/T10502","display_name":"Advanced Memory and Neural Computing","score":0.9560999870300293,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.692175030708313},{"id":"https://openalex.org/keywords/sequential-logic","display_name":"Sequential logic","score":0.6419038772583008},{"id":"https://openalex.org/keywords/reverse-engineering","display_name":"Reverse engineering","score":0.5938068628311157},{"id":"https://openalex.org/keywords/combinational-logic","display_name":"Combinational logic","score":0.5692678689956665},{"id":"https://openalex.org/keywords/electronic-circuit","display_name":"Electronic circuit","score":0.5145851969718933},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.4960852563381195},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4323297142982483},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4300975799560547},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.39009276032447815},{"id":"https://openalex.org/keywords/logic-gate","display_name":"Logic gate","score":0.34463709592819214},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1941695511341095},{"id":"https://openalex.org/keywords/electrical-engineering","display_name":"Electrical engineering","score":0.11607876420021057},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.08414819836616516}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.692175030708313},{"id":"https://openalex.org/C187075797","wikidata":"https://www.wikidata.org/wiki/Q173245","display_name":"Sequential logic","level":3,"score":0.6419038772583008},{"id":"https://openalex.org/C207850805","wikidata":"https://www.wikidata.org/wiki/Q269608","display_name":"Reverse engineering","level":2,"score":0.5938068628311157},{"id":"https://openalex.org/C81409106","wikidata":"https://www.wikidata.org/wiki/Q76505","display_name":"Combinational logic","level":3,"score":0.5692678689956665},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.5145851969718933},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.4960852563381195},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4323297142982483},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4300975799560547},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.39009276032447815},{"id":"https://openalex.org/C131017901","wikidata":"https://www.wikidata.org/wiki/Q170451","display_name":"Logic gate","level":2,"score":0.34463709592819214},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1941695511341095},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.11607876420021057},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.08414819836616516}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/iccd.2018.00085","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccd.2018.00085","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 IEEE 36th International Conference on Computer Design (ICCD)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.4300000071525574,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W1524250393","https://openalex.org/W2092545762","https://openalex.org/W2093405763","https://openalex.org/W2095117703","https://openalex.org/W2112173236","https://openalex.org/W2140904634","https://openalex.org/W2404942596","https://openalex.org/W2615010670","https://openalex.org/W2769862470","https://openalex.org/W2772235844","https://openalex.org/W2788317989","https://openalex.org/W2795200910","https://openalex.org/W2798443351","https://openalex.org/W2805528544","https://openalex.org/W2951325841","https://openalex.org/W3105554950","https://openalex.org/W4234937017","https://openalex.org/W4241856644","https://openalex.org/W6752008819","https://openalex.org/W6891887613"],"related_works":["https://openalex.org/W2110968362","https://openalex.org/W4238178324","https://openalex.org/W2163776294","https://openalex.org/W3141297747","https://openalex.org/W2106889348","https://openalex.org/W4248668797","https://openalex.org/W2111485030","https://openalex.org/W4390345338","https://openalex.org/W96064250","https://openalex.org/W2169337913"],"abstract_inverted_index":{"Split":[0],"Manufacturing":[1],"was":[2],"proposed":[3,28],"as":[4],"a":[5,32,103],"promising":[6,82],"strategy":[7],"to":[8,29,90],"thwart":[9],"reverse":[10,30],"engineering":[11],"and":[12,110,129],"Trojan":[13],"insertion":[14],"at":[15],"untrusted":[16],"foundries.":[17],"However,":[18],"attack":[19,59,67,100],"methods":[20],"based":[21],"on":[22,102],"physical":[23],"design":[24],"hints":[25],"have":[26,114],"been":[27,115],"engineer":[31],"combinational":[33],"circuit":[34,128,132],"with":[35],"Front-End-Of-line":[36],"(FEOL)":[37],"layers":[38],"only.":[39],"But":[40],"none":[41],"of":[42,48,97,105],"them":[43],"can":[44,54,70],"guarantee":[45],"100%":[46,72],"recovery":[47],"BEOL":[49,73],"signals":[50,74],"since":[51],"no":[52],"validation":[53],"be":[55],"done":[56],"during":[57],"the":[58,95,98,126,130],"process.":[60],"In":[61],"this":[62],"paper,":[63],"we":[64],"introduce":[65],"an":[66],"flow":[68],"that":[69],"recover":[71],"for":[75,133],"sequential":[76,86,106],"circuits":[77,87],"effectively.":[78],"Our":[79],"approach":[80],"shows":[81],"results":[83],"in":[84,118],"attacking":[85],"without":[88],"access":[89],"flip-flop":[91],"outputs.":[92],"We":[93],"demonstrate":[94],"effectiveness":[96],"new":[99],"method":[101],"set":[104],"benchmarks":[107],"from":[108],"ISCAS-89":[109],"ITC-99":[111],"sets":[112],"which":[113],"widely":[116],"used":[117],"related":[119],"research.":[120],"Results":[121],"show":[122],"logic":[123],"equivalence":[124],"between":[125],"original":[127],"recovered":[131],"all":[134],"benchmarks.":[135]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}