{"id":"https://openalex.org/W4323530012","doi":"https://doi.org/10.1109/tcad.2023.3253428","title":"On the Security of Sequential Logic Locking Against Oracle-Guided Attacks","display_name":"On the Security of Sequential Logic Locking Against Oracle-Guided Attacks","publication_year":2023,"publication_date":"2023-03-07","ids":{"openalex":"https://openalex.org/W4323530012","doi":"https://doi.org/10.1109/tcad.2023.3253428"},"language":"en","primary_location":{"id":"doi:10.1109/tcad.2023.3253428","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/tcad.2023.3253428","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"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 Computer-Aided Design of Integrated Circuits and Systems","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/A5047763395","display_name":"Yinghua Hu","orcid":"https://orcid.org/0000-0002-3863-1196"},"institutions":[{"id":"https://openalex.org/I4210088951","display_name":"Synopsys (United States)","ror":"https://ror.org/013by2m91","country_code":"US","type":"company","lineage":["https://openalex.org/I4210088951"]},{"id":"https://openalex.org/I1174212","display_name":"University of Southern California","ror":"https://ror.org/03taz7m60","country_code":"US","type":"education","lineage":["https://openalex.org/I1174212"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Yinghua Hu","raw_affiliation_strings":["Ming Hsieh Department of Electrical and Computer Engineering, University of Southern California, Los Angeles, CA, USA","Electronic Design Automation Group, Synopsys Inc, Mountain View, CA, USA"],"affiliations":[{"raw_affiliation_string":"Ming Hsieh Department of Electrical and Computer Engineering, University of Southern California, Los Angeles, CA, USA","institution_ids":["https://openalex.org/I1174212"]},{"raw_affiliation_string":"Electronic Design Automation Group, Synopsys Inc, Mountain View, CA, USA","institution_ids":["https://openalex.org/I4210088951"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019021341","display_name":"Yuke Zhang","orcid":"https://orcid.org/0000-0001-5253-5478"},"institutions":[{"id":"https://openalex.org/I1174212","display_name":"University of Southern California","ror":"https://ror.org/03taz7m60","country_code":"US","type":"education","lineage":["https://openalex.org/I1174212"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yuke Zhang","raw_affiliation_strings":["Ming Hsieh Department of Electrical and Computer Engineering, University of Southern California, Los Angeles, CA, USA"],"affiliations":[{"raw_affiliation_string":"Ming Hsieh Department of Electrical and Computer Engineering, University of Southern California, Los Angeles, CA, USA","institution_ids":["https://openalex.org/I1174212"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113173970","display_name":"Kaixin Yang","orcid":"https://orcid.org/0009-0008-5234-2316"},"institutions":[{"id":"https://openalex.org/I1174212","display_name":"University of Southern California","ror":"https://ror.org/03taz7m60","country_code":"US","type":"education","lineage":["https://openalex.org/I1174212"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kaixin Yang","raw_affiliation_strings":["Ming Hsieh Department of Electrical and Computer Engineering, University of Southern California, Los Angeles, CA, USA"],"affiliations":[{"raw_affiliation_string":"Ming Hsieh Department of Electrical and Computer Engineering, University of Southern California, Los Angeles, CA, USA","institution_ids":["https://openalex.org/I1174212"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101553592","display_name":"Dake Chen","orcid":"https://orcid.org/0000-0002-1596-6700"},"institutions":[{"id":"https://openalex.org/I1174212","display_name":"University of Southern California","ror":"https://ror.org/03taz7m60","country_code":"US","type":"education","lineage":["https://openalex.org/I1174212"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Dake Chen","raw_affiliation_strings":["Ming Hsieh Department of Electrical and Computer Engineering, University of Southern California, Los Angeles, CA, USA"],"affiliations":[{"raw_affiliation_string":"Ming Hsieh Department of Electrical and Computer Engineering, University of Southern California, Los Angeles, CA, USA","institution_ids":["https://openalex.org/I1174212"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084205024","display_name":"Peter A. Beerel","orcid":"https://orcid.org/0000-0002-8283-0168"},"institutions":[{"id":"https://openalex.org/I1174212","display_name":"University of Southern California","ror":"https://ror.org/03taz7m60","country_code":"US","type":"education","lineage":["https://openalex.org/I1174212"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Peter A. Beerel","raw_affiliation_strings":["Ming Hsieh Department of Electrical and Computer Engineering, University of Southern California, Los Angeles, CA, USA"],"affiliations":[{"raw_affiliation_string":"Ming Hsieh Department of Electrical and Computer Engineering, University of Southern California, Los Angeles, CA, USA","institution_ids":["https://openalex.org/I1174212"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5067636168","display_name":"Pierluigi Nuzzo","orcid":"https://orcid.org/0000-0003-2984-0364"},"institutions":[{"id":"https://openalex.org/I1174212","display_name":"University of Southern California","ror":"https://ror.org/03taz7m60","country_code":"US","type":"education","lineage":["https://openalex.org/I1174212"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Pierluigi Nuzzo","raw_affiliation_strings":["Ming Hsieh Department of Electrical and Computer Engineering, University of Southern California, Los Angeles, CA, USA"],"affiliations":[{"raw_affiliation_string":"Ming Hsieh Department of Electrical and Computer Engineering, University of Southern California, Los Angeles, CA, USA","institution_ids":["https://openalex.org/I1174212"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5047763395"],"corresponding_institution_ids":["https://openalex.org/I1174212","https://openalex.org/I4210088951"],"apc_list":null,"apc_paid":null,"fwci":2.4724,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.88159548,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"42","issue":"11","first_page":"3628","last_page":"3641"},"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.9937999844551086,"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/T11424","display_name":"Security and Verification in Computing","score":0.9746000170707703,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/oracle","display_name":"Oracle","score":0.7846710085868835},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6632750034332275},{"id":"https://openalex.org/keywords/pruning","display_name":"Pruning","score":0.5785942077636719},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.5782893300056458},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4141029119491577},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.41372165083885193},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.33059531450271606},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.16490784287452698}],"concepts":[{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.7846710085868835},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6632750034332275},{"id":"https://openalex.org/C108010975","wikidata":"https://www.wikidata.org/wiki/Q500094","display_name":"Pruning","level":2,"score":0.5785942077636719},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.5782893300056458},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4141029119491577},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.41372165083885193},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.33059531450271606},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.16490784287452698},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tcad.2023.3253428","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/tcad.2023.3253428","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"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 Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.7799999713897705}],"awards":[{"id":"https://openalex.org/G5762866564","display_name":null,"funder_award_id":"FA8650- 18-1-7817","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"}],"funders":[{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"},{"id":"https://openalex.org/F4320338294","display_name":"Air Force Research Laboratory","ror":"https://ror.org/02e2egq70"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":41,"referenced_works":["https://openalex.org/W233122475","https://openalex.org/W1510368738","https://openalex.org/W1524250393","https://openalex.org/W1583151409","https://openalex.org/W1983064190","https://openalex.org/W2008819052","https://openalex.org/W2012032225","https://openalex.org/W2042778609","https://openalex.org/W2064541558","https://openalex.org/W2091656296","https://openalex.org/W2135211381","https://openalex.org/W2152406824","https://openalex.org/W2155298431","https://openalex.org/W2161998562","https://openalex.org/W2293426816","https://openalex.org/W2514675746","https://openalex.org/W2532898432","https://openalex.org/W2608668000","https://openalex.org/W2757400610","https://openalex.org/W2769905020","https://openalex.org/W2771999643","https://openalex.org/W2946592689","https://openalex.org/W2972274212","https://openalex.org/W2979909463","https://openalex.org/W2986172114","https://openalex.org/W3091843862","https://openalex.org/W3092333749","https://openalex.org/W3114561146","https://openalex.org/W3132919830","https://openalex.org/W3139374995","https://openalex.org/W3157690307","https://openalex.org/W3177994342","https://openalex.org/W3184594511","https://openalex.org/W3184689295","https://openalex.org/W3185796466","https://openalex.org/W3188573581","https://openalex.org/W3216472574","https://openalex.org/W4213073217","https://openalex.org/W4230279121","https://openalex.org/W4254690223","https://openalex.org/W4289286888"],"related_works":["https://openalex.org/W2073713056","https://openalex.org/W3110702597","https://openalex.org/W2125620709","https://openalex.org/W2110441383","https://openalex.org/W2045932760","https://openalex.org/W4233149903","https://openalex.org/W2326878701","https://openalex.org/W4293864700","https://openalex.org/W2184228419","https://openalex.org/W67445448"],"abstract_inverted_index":{"The":[0,189],"Boolean":[1],"satisfiability":[2],"(SAT)":[3],"attack":[4,8,32,90,127],"is":[5],"an":[6,31,46,88,115,124,223,232],"oracle-guided":[7],"that":[9,128,193,235,245],"can":[10,102,129,197,230],"break":[11],"most":[12,239],"combinational":[13],"logic":[14,35],"locking":[15,36,215],"schemes":[16],"by":[17,70],"efficiently":[18,104],"pruning":[19],"out":[20,83,249],"all":[21],"the":[22,26,50,59,63,73,76,84,112,142,155,162,171,182,187,218],"wrong":[23,85],"keys":[24,86],"from":[25,106],"search":[27],"space.":[28],"Extending":[29],"such":[30],"to":[33,57,81,110,169,180,237],"sequential":[34,51,99],"requires":[37],"multiple":[38],"time-consuming":[39],"rounds":[40],"of":[41,49,62,87,94,114,141,161,186],"SAT":[42,133],"solving,":[43],"performed":[44],"using":[45,222],"\u201cunrolled\u201d":[47],"version":[48],"circuit,":[52],"and":[53,91,134,148],"model":[54],"checking,":[55],"used":[56],"determine":[58],"successful":[60],"termination":[61,225],"attack.":[64,117],"This":[65],"article":[66],"addresses":[67],"these":[68],"challenges":[69],"formally":[71],"characterizing":[72],"relation":[74],"between":[75],"minimum":[77],"unrolling":[78],"depth":[79],"required":[80],"prune":[82],"SAT-based":[89,116,126],"a":[92,107,158],"notion":[93],"functional":[95],"corruptibility":[96],"(FC)":[97],"for":[98],"circuits,":[100],"which":[101],"be":[103],"estimated":[105],"locked":[108],"circuit":[109],"indicate":[111],"progress":[113],"Based":[118],"on":[119,153,199],"this":[120],"analysis,":[121],"we":[122],"present":[123,138],"FC-guided":[125],"significantly":[130],"reduce":[131],"unnecessary":[132],"model-checking":[135],"tasks.":[136],"We":[137],"two":[139],"versions":[140],"attack,":[143],"namely,":[144],"<monospace":[145,149,165,176,194,227],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[146,150,166,177,195,202,228],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">Fun-SAT</monospace>":[147,167,196],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">Fun-SAT+</monospace>,":[151],"based":[152],"whether":[154],"attacker":[156],"has":[157],"priori":[159],"knowledge":[160],"key":[163,173],"length.":[164],"aims":[168,179],"find":[170,231],"correct":[172,183],"sequence,":[174],"while":[175],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">Fun-SAT+</monospace>":[178,229],"retrieve":[181],"initial":[184,233],"state":[185,234],"circuit.":[188],"numerical":[190],"evaluation":[191],"shows":[192],"be,":[198],"average,":[200],"<inline-formula":[201],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">":[203],"<tex-math":[204],"notation=\"LaTeX\">$90\\boldsymbol":[205],"{\\times":[206],"}$":[207],"</tex-math></inline-formula>":[208],"faster":[209],"than":[210],"previous":[211],"attacks":[212],"against":[213],"state-of-the-art":[214],"methods.":[216],"On":[217],"other":[219],"hand,":[220],"when":[221],"approximate":[224],"condition,":[226],"leads":[236],"at":[238],"0.1%":[240],"FC":[241],"in":[242],"76.9%":[243],"instances":[244],"would":[246],"otherwise":[247],"time":[248],"after":[250],"one":[251],"day.":[252]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":6},{"year":2023,"cited_by_count":1}],"updated_date":"2025-12-24T23:09:58.560324","created_date":"2025-10-10T00:00:00"}