{"id":"https://openalex.org/W4321608050","doi":"https://doi.org/10.1109/tc.2023.3248268","title":"A Comprehensive Test Pattern Generation Approach Exploiting the SAT Attack for Logic Locking","display_name":"A Comprehensive Test Pattern Generation Approach Exploiting the SAT Attack for Logic Locking","publication_year":2023,"publication_date":"2023-02-23","ids":{"openalex":"https://openalex.org/W4321608050","doi":"https://doi.org/10.1109/tc.2023.3248268"},"language":"en","primary_location":{"id":"doi:10.1109/tc.2023.3248268","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tc.2023.3248268","pdf_url":null,"source":{"id":"https://openalex.org/S157670870","display_name":"IEEE Transactions on Computers","issn_l":"0018-9340","issn":["0018-9340","1557-9956","2326-3814"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["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 Computers","raw_type":"journal-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/A5075552790","display_name":"Yadi Zhong","orcid":"https://orcid.org/0000-0002-6307-8273"},"institutions":[{"id":"https://openalex.org/I82497590","display_name":"Auburn University","ror":"https://ror.org/02v80fc35","country_code":"US","type":"education","lineage":["https://openalex.org/I82497590"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Yadi Zhong","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Auburn University, Auburn, AL, USA"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Auburn University, Auburn, AL, USA","institution_ids":["https://openalex.org/I82497590"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5079601863","display_name":"Ujjwal Guin","orcid":"https://orcid.org/0000-0002-4819-8728"},"institutions":[{"id":"https://openalex.org/I82497590","display_name":"Auburn University","ror":"https://ror.org/02v80fc35","country_code":"US","type":"education","lineage":["https://openalex.org/I82497590"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ujjwal Guin","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Auburn University, Auburn, AL, USA"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Auburn University, Auburn, AL, USA","institution_ids":["https://openalex.org/I82497590"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5075552790"],"corresponding_institution_ids":["https://openalex.org/I82497590"],"apc_list":null,"apc_paid":null,"fwci":1.5453,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.80276382,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"72","issue":"8","first_page":"2293","last_page":"2305"},"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.9998000264167786,"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9991000294685364,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7250655889511108},{"id":"https://openalex.org/keywords/automatic-test-pattern-generation","display_name":"Automatic test pattern generation","score":0.7192592620849609},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.6840025186538696},{"id":"https://openalex.org/keywords/netlist","display_name":"Netlist","score":0.649151086807251},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.6273946762084961},{"id":"https://openalex.org/keywords/initialization","display_name":"Initialization","score":0.58553147315979},{"id":"https://openalex.org/keywords/fault-coverage","display_name":"Fault coverage","score":0.5834256410598755},{"id":"https://openalex.org/keywords/fault-model","display_name":"Fault model","score":0.48899853229522705},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.48658597469329834},{"id":"https://openalex.org/keywords/fault","display_name":"Fault (geology)","score":0.4770576059818268},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.43975064158439636},{"id":"https://openalex.org/keywords/sequential-logic","display_name":"Sequential logic","score":0.4388488531112671},{"id":"https://openalex.org/keywords/stuck-at-fault","display_name":"Stuck-at fault","score":0.43591347336769104},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.3874254822731018},{"id":"https://openalex.org/keywords/logic-gate","display_name":"Logic gate","score":0.3658464550971985},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3457058072090149},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.30018794536590576},{"id":"https://openalex.org/keywords/fault-detection-and-isolation","display_name":"Fault detection and isolation","score":0.25519388914108276},{"id":"https://openalex.org/keywords/electronic-circuit","display_name":"Electronic circuit","score":0.175125390291214},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.12232217192649841},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.09700208902359009},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.08773398399353027},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.08364716172218323}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7250655889511108},{"id":"https://openalex.org/C17626397","wikidata":"https://www.wikidata.org/wiki/Q837455","display_name":"Automatic test pattern generation","level":3,"score":0.7192592620849609},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.6840025186538696},{"id":"https://openalex.org/C177650935","wikidata":"https://www.wikidata.org/wiki/Q1760303","display_name":"Netlist","level":2,"score":0.649151086807251},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.6273946762084961},{"id":"https://openalex.org/C114466953","wikidata":"https://www.wikidata.org/wiki/Q6034165","display_name":"Initialization","level":2,"score":0.58553147315979},{"id":"https://openalex.org/C126953365","wikidata":"https://www.wikidata.org/wiki/Q5438152","display_name":"Fault coverage","level":3,"score":0.5834256410598755},{"id":"https://openalex.org/C167391956","wikidata":"https://www.wikidata.org/wiki/Q1401211","display_name":"Fault model","level":3,"score":0.48899853229522705},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.48658597469329834},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.4770576059818268},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.43975064158439636},{"id":"https://openalex.org/C187075797","wikidata":"https://www.wikidata.org/wiki/Q173245","display_name":"Sequential logic","level":3,"score":0.4388488531112671},{"id":"https://openalex.org/C13625343","wikidata":"https://www.wikidata.org/wiki/Q7627418","display_name":"Stuck-at fault","level":4,"score":0.43591347336769104},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.3874254822731018},{"id":"https://openalex.org/C131017901","wikidata":"https://www.wikidata.org/wiki/Q170451","display_name":"Logic gate","level":2,"score":0.3658464550971985},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3457058072090149},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.30018794536590576},{"id":"https://openalex.org/C152745839","wikidata":"https://www.wikidata.org/wiki/Q5438153","display_name":"Fault detection and isolation","level":3,"score":0.25519388914108276},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.175125390291214},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.12232217192649841},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.09700208902359009},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.08773398399353027},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.08364716172218323},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C172707124","wikidata":"https://www.wikidata.org/wiki/Q423488","display_name":"Actuator","level":2,"score":0.0},{"id":"https://openalex.org/C165205528","wikidata":"https://www.wikidata.org/wiki/Q83371","display_name":"Seismology","level":1,"score":0.0},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tc.2023.3248268","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tc.2023.3248268","pdf_url":null,"source":{"id":"https://openalex.org/S157670870","display_name":"IEEE Transactions on Computers","issn_l":"0018-9340","issn":["0018-9340","1557-9956","2326-3814"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["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 Computers","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.5,"id":"https://metadata.un.org/sdg/9"}],"awards":[{"id":"https://openalex.org/G8200723802","display_name":null,"funder_award_id":"CNS-1755733","funder_id":"https://openalex.org/F4320335353","funder_display_name":"National Science Foundation of Sri Lanka"}],"funders":[{"id":"https://openalex.org/F4320335353","display_name":"National Science Foundation of Sri Lanka","ror":"https://ror.org/010xaa060"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":47,"referenced_works":["https://openalex.org/W283009591","https://openalex.org/W1524250393","https://openalex.org/W1595368737","https://openalex.org/W1605172130","https://openalex.org/W1988381220","https://openalex.org/W2008819052","https://openalex.org/W2012725064","https://openalex.org/W2047503989","https://openalex.org/W2067276029","https://openalex.org/W2079866295","https://openalex.org/W2082561435","https://openalex.org/W2096554094","https://openalex.org/W2106409910","https://openalex.org/W2109648051","https://openalex.org/W2111994103","https://openalex.org/W2119241964","https://openalex.org/W2124954128","https://openalex.org/W2135613306","https://openalex.org/W2146832742","https://openalex.org/W2146907344","https://openalex.org/W2149107969","https://openalex.org/W2156423392","https://openalex.org/W2160444875","https://openalex.org/W2161273503","https://openalex.org/W2169468177","https://openalex.org/W2173124859","https://openalex.org/W2336925918","https://openalex.org/W2400748972","https://openalex.org/W2615060729","https://openalex.org/W2741711485","https://openalex.org/W2883405144","https://openalex.org/W2945557633","https://openalex.org/W2947574317","https://openalex.org/W3084745240","https://openalex.org/W3128999612","https://openalex.org/W3144121041","https://openalex.org/W3150532282","https://openalex.org/W3186792530","https://openalex.org/W4206807714","https://openalex.org/W4232126994","https://openalex.org/W4256313551","https://openalex.org/W4307994177","https://openalex.org/W4318580662","https://openalex.org/W6675797392","https://openalex.org/W6681477738","https://openalex.org/W6703622479","https://openalex.org/W6813933916"],"related_works":["https://openalex.org/W2101347856","https://openalex.org/W4251860244","https://openalex.org/W2886316835","https://openalex.org/W2955487432","https://openalex.org/W2805856399","https://openalex.org/W4293023571","https://openalex.org/W2162747415","https://openalex.org/W2157154381","https://openalex.org/W4253743993","https://openalex.org/W2086978559"],"abstract_inverted_index":{"The":[0,176,244,280,303],"need":[1],"for":[2,64,186,195,256,268,337],"reducing":[3],"manufacturing":[4],"defect":[5],"escape":[6,32],"in":[7,61,77,109,276],"today's":[8],"safety-critical":[9],"applications":[10],"requires":[11],"increased":[12],"fault":[13,49,147,203,322],"coverage.":[14,50],"However,":[15],"generating":[16],"a":[17,131,151,155,184,200,207,228,319],"test":[18,23,133,185,196,221,254,266,282,331],"set":[19,255],"using":[20,137],"commercial":[21,277],"automatic":[22],"pattern":[24,134,178,197,222,283],"generation":[25,135,284,332],"(ATPG)":[26],"tools":[27],"that":[28,179,272,306,330],"lead":[29],"to":[30,41,46,67,83,236],"zero-defect":[31],"is":[33,39,92,148,183,204,215,324],"still":[34],"an":[35],"open":[36],"problem.":[37],"It":[38],"challenging":[40],"detect":[42,288,309],"all":[43,269,310],"stuck-at":[44,146,188,202],"faults":[45,231,271,290,313,317,342],"reach":[47],"100%":[48,320],"In":[51,71,126,326],"parallel,":[52],"the":[53,81,85,89,95,97,102,116,138,163,173,181,187,234,248,253,295,298,311],"hardware":[54],"security":[55],"community":[56],"has":[57],"been":[58],"actively":[59],"involved":[60],"developing":[62],"solutions":[63],"logic":[65,72,123,143],"locking":[66,124],"prevent":[68],"IP":[69],"piracy.":[70],"locking,":[73],"locks":[74],"are":[75,252],"inserted":[76],"different":[78,122,193],"locations":[79],"of":[80,172,230,260,297],"netlist":[82],"modify":[84],"original":[86],"functionality.":[87],"Unless":[88],"correct":[90],"key":[91,118,170,182,213,242],"programmed":[93],"into":[94],"IC,":[96],"circuit":[98,210,235],"functions":[99],"incorrectly.":[100],"Unfortunately,":[101],"Boolean":[103],"satisfiability":[104],"(SAT)":[105],"based":[106],"attack,":[107],"introduced":[108],"(Subramanyan":[110],"et":[111],"al.":[112],"2015),":[113],"can":[114,160,264,286,308],"determine":[115],"secret":[117,156],"efficiently,":[119],"and":[120,206,232,314,318],"break":[121],"schemes.":[125],"this":[127,258],"article,":[128],"we":[129,226,307,328],"propose":[130,191],"novel":[132],"approach":[136,218,263,285,299],"powerful":[139],"SAT":[140,174,249],"attack":[141,250],"on":[142,300],"locking.":[144],"A":[145],"modeled":[149],"as":[150,291,340],"locked":[152,209,238],"gate":[153],"with":[154,166,211,240],"key,":[157],"where":[158],"it":[159],"effectively":[161],"deduce":[162],"satisfiable":[164],"assignment":[165],"reduced":[167],"backtracks":[168],"under":[169],"initialization":[171],"attack.":[175],"input":[177],"determines":[180],"fault.":[189,224],"We":[190,293],"two":[192],"approaches":[194],"generation.":[198],"First,":[199],"single":[201],"targeted,":[205],"corresponding":[208],"one":[212,220],"bit":[214],"created.":[216],"This":[217],"generates":[219],"per":[223],"Second,":[225],"consider":[227],"group":[229,259],"convert":[233],"its":[237],"version":[239],"multiple":[241,341],"bits.":[243],"inputs":[245],"obtained":[246],"from":[247],"tool":[251],"detecting":[257],"faults.":[261],"Our":[262],"find":[265],"patterns":[267],"hard-to-detect":[270,312],"were":[273],"previously":[274],"undetected":[275],"ATPG":[278],"tools.":[279],"proposed":[281],"efficiently":[287],"redundant":[289,316],"well.":[292],"demonstrate":[294],"effectiveness":[296],"ITC\u201999":[301],"benchmarks.":[302],"results":[304],"show":[305,329],"identify":[315],"stuck":[321],"coverage":[323],"achieved.":[325],"addition,":[327],"time":[333],"saving":[334],"becomes":[335],"significant":[336],"Approach":[338],"2":[339],"help":[343],"reduce":[344],"or":[345],"remove":[346],"conflicts.":[347]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":3},{"year":2023,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}