{"id":"https://openalex.org/W4296207877","doi":"https://doi.org/10.1109/tifs.2022.3207361","title":"Hide and Seek: Seeking the (Un)-Hidden Key in Provably-Secure Logic Locking Techniques","display_name":"Hide and Seek: Seeking the (Un)-Hidden Key in Provably-Secure Logic Locking Techniques","publication_year":2022,"publication_date":"2022-01-01","ids":{"openalex":"https://openalex.org/W4296207877","doi":"https://doi.org/10.1109/tifs.2022.3207361"},"language":"en","primary_location":{"id":"doi:10.1109/tifs.2022.3207361","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tifs.2022.3207361","pdf_url":null,"source":{"id":"https://openalex.org/S61310614","display_name":"IEEE Transactions on Information Forensics and Security","issn_l":"1556-6013","issn":["1556-6013","1556-6021"],"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 Information Forensics and Security","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/A5005805069","display_name":"Satwik Patnaik","orcid":"https://orcid.org/0000-0002-8975-2414"},"institutions":[{"id":"https://openalex.org/I91045830","display_name":"Texas A&M University","ror":"https://ror.org/01f5ytq51","country_code":"US","type":"education","lineage":["https://openalex.org/I91045830"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Satwik Patnaik","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Texas A&#x0026;M University, College Station, TX, USA"],"raw_orcid":"https://orcid.org/0000-0002-8975-2414","affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Texas A&#x0026;M University, College Station, TX, USA","institution_ids":["https://openalex.org/I91045830"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024862466","display_name":"Nimisha Limaye","orcid":"https://orcid.org/0000-0002-1504-2575"},"institutions":[{"id":"https://openalex.org/I57206974","display_name":"New York University","ror":"https://ror.org/0190ak572","country_code":"US","type":"education","lineage":["https://openalex.org/I57206974"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Nimisha Limaye","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Tandon School of Engineering, New York University, Brooklyn, NY, USA"],"raw_orcid":"https://orcid.org/0000-0002-1504-2575","affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Tandon School of Engineering, New York University, Brooklyn, NY, USA","institution_ids":["https://openalex.org/I57206974"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5059987567","display_name":"Ozgur Sinanoglu","orcid":"https://orcid.org/0000-0003-0782-0397"},"institutions":[{"id":"https://openalex.org/I120250893","display_name":"New York University Abu Dhabi","ror":"https://ror.org/00e5k0821","country_code":"AE","type":"education","lineage":["https://openalex.org/I120250893","https://openalex.org/I57206974"]}],"countries":["AE"],"is_corresponding":false,"raw_author_name":"Ozgur Sinanoglu","raw_affiliation_strings":["Division of Engineering, New York University Abu Dhabi, Abu Dhabi, United Arab Emirates"],"raw_orcid":"https://orcid.org/0000-0003-0782-0397","affiliations":[{"raw_affiliation_string":"Division of Engineering, New York University Abu Dhabi, Abu Dhabi, United Arab Emirates","institution_ids":["https://openalex.org/I120250893"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.958,"has_fulltext":false,"cited_by_count":12,"citation_normalized_percentile":{"value":0.85306044,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"17","issue":null,"first_page":"3290","last_page":"3305"},"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":1.0,"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":1.0,"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.9907000064849854,"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/T10951","display_name":"Cryptographic Implementations and Security","score":0.9707000255584717,"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/computer-science","display_name":"Computer science","score":0.8326196670532227},{"id":"https://openalex.org/keywords/hardware-security-module","display_name":"Hardware security module","score":0.67792809009552},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.6395248174667358},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.6345561742782593},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.5934321284294128},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.5445464253425598},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.5253329277038574},{"id":"https://openalex.org/keywords/generality","display_name":"Generality","score":0.4516224265098572},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.4430845379829407},{"id":"https://openalex.org/keywords/countermeasure","display_name":"Countermeasure","score":0.41150298714637756},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.32557058334350586}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8326196670532227},{"id":"https://openalex.org/C39217717","wikidata":"https://www.wikidata.org/wiki/Q1432354","display_name":"Hardware security module","level":3,"score":0.67792809009552},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.6395248174667358},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.6345561742782593},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.5934321284294128},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.5445464253425598},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.5253329277038574},{"id":"https://openalex.org/C2780767217","wikidata":"https://www.wikidata.org/wiki/Q5532421","display_name":"Generality","level":2,"score":0.4516224265098572},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.4430845379829407},{"id":"https://openalex.org/C21593369","wikidata":"https://www.wikidata.org/wiki/Q1032176","display_name":"Countermeasure","level":2,"score":0.41150298714637756},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.32557058334350586},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"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/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0},{"id":"https://openalex.org/C542102704","wikidata":"https://www.wikidata.org/wiki/Q183257","display_name":"Psychotherapist","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tifs.2022.3207361","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tifs.2022.3207361","pdf_url":null,"source":{"id":"https://openalex.org/S61310614","display_name":"IEEE Transactions on Information Forensics and Security","issn_l":"1556-6013","issn":["1556-6013","1556-6021"],"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 Information Forensics and Security","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":41,"referenced_works":["https://openalex.org/W1524250393","https://openalex.org/W1528837436","https://openalex.org/W1595368737","https://openalex.org/W1599937967","https://openalex.org/W1604160780","https://openalex.org/W2008819052","https://openalex.org/W2067276029","https://openalex.org/W2095410905","https://openalex.org/W2135211381","https://openalex.org/W2419784917","https://openalex.org/W2499445168","https://openalex.org/W2538793708","https://openalex.org/W2598853221","https://openalex.org/W2615010670","https://openalex.org/W2615060729","https://openalex.org/W2708742051","https://openalex.org/W2741711485","https://openalex.org/W2766393343","https://openalex.org/W2782827709","https://openalex.org/W2810013968","https://openalex.org/W2810685556","https://openalex.org/W2922269119","https://openalex.org/W2949654353","https://openalex.org/W2950285720","https://openalex.org/W2981746473","https://openalex.org/W3001648869","https://openalex.org/W3040890974","https://openalex.org/W3092370864","https://openalex.org/W3106433382","https://openalex.org/W3131433865","https://openalex.org/W3140586337","https://openalex.org/W3157997952","https://openalex.org/W3184689295","https://openalex.org/W4210684805","https://openalex.org/W4226269708","https://openalex.org/W4236249712","https://openalex.org/W4252100403","https://openalex.org/W4280540169","https://openalex.org/W6675797392","https://openalex.org/W6747192307","https://openalex.org/W6794389165"],"related_works":["https://openalex.org/W112744582","https://openalex.org/W23208396","https://openalex.org/W2107384724","https://openalex.org/W4213456237","https://openalex.org/W1481299995","https://openalex.org/W2008284146","https://openalex.org/W2990075327","https://openalex.org/W4200034994","https://openalex.org/W4233361872","https://openalex.org/W2799706515"],"abstract_inverted_index":{"Logic":[0],"locking":[1,44,86],"is":[2,119,281],"a":[3,48,97,145,155,290],"holistic":[4],"countermeasure":[5],"that":[6,68,148,161],"protects":[7],"an":[8,277],"integrated":[9],"circuit":[10,275],"(IC)":[11],"from":[12,73],"hardware-focused":[13],"threats":[14],"such":[15,79],"as":[16,289],"piracy":[17],"of":[18,32,60,99,112,123,157,187,199,315],"design":[19],"intellectual":[20],"property":[21],"and":[22,54,88,92,101,178,191,202,246,250,318],"unauthorized":[23],"overproduction":[24],"throughout":[25],"the":[26,33,38,58,70,74,110,151,166,183,188,197,226,233,265,273,295,313],"globalized":[27],"IC":[28],"supply":[29],"chain.":[30],"Out":[31],"several":[34,256],"techniques":[35,62,169,190],"proposed":[36],"by":[37,66,138,268,299],"hardware":[39,76,185,300],"security":[40,59,111,297],"community,":[41],"provably-secure":[42],"logic":[43,252],"(PSLL)":[45],"has":[46],"acquired":[47],"foothold":[49],"due":[50],"to":[51,85,96,108,130,143,293],"its":[52],"algorithmic":[53],"provable-security":[55],"guarantees.":[56],"However,":[57],"these":[61,139],"are":[63,82],"regularly":[64],"questioned":[65],"attackers":[67],"exploit":[69],"vulnerabilities":[71],"arising":[72],"underlying":[75,184],"implementation.":[77],"Unfortunately,":[78],"attacks":[80,100,194,208,223,262,288,317],"(i)":[81,241],"predominantly":[83],"specific":[84],"technique":[87],"(ii)":[89,244],"lack":[90],"generality":[91],"scalability.":[93],"This":[94],"leads":[95],"plethora":[98],"researchers,":[102],"especially":[103],"defenders,":[104],"find":[105],"it":[106],"challenging":[107],"ascertain":[109,294],"newly":[113],"developed":[114,135],"PSLL":[115,158,168,189,216,321],"techniques.":[116,159,221,235],"Additionally,":[117,283],"there":[118],"no":[120],"public":[121],"repository":[122],"locked":[124,212,274],"circuits,":[125],"which":[126,309],"attackers,":[127],"can":[128,149,263,285],"use":[129,286],"benchmark":[131],"(and":[132],"compare)":[133],"their":[134],"attacks.":[136],"Driven":[137],"challenges,":[140],"we":[141,163,175,303],"aim":[142],"develop":[144,192],"generalized":[146],"attack":[147],"recover":[150,225,264],"secret":[152,227,266],"key":[153,228,267],"across":[154,214,239],"breadth":[156],"To":[160],"end,":[162],"first":[164],"categorize":[165],"existing":[167],"into":[170],"two":[171,193],"generic":[172],"categories.":[173],"Then,":[174],"extract":[176],"functional":[177],"structural":[179],"properties":[180],"depending":[181],"on":[182,196,209],"construction":[186],"based":[195],"concepts":[198],"VLSI":[200],"testing":[201],"Boolean":[203],"transformations.":[204],"We":[205],"evaluate":[206],"our":[207,237,261,287,306],"30,":[210],"000":[211],"circuits":[213],"14":[215],"techniques,":[217],"including":[218],"nine":[219],"unbroken":[220],"Our":[222],"successfully":[224],"(100%":[229],"accuracy)":[230],"for":[231],"all":[232],"considered":[234],"Further,":[236],"experimentation":[238],"different":[240],"technology":[242],"libraries,":[243],"commercial":[245],"academic":[247,278],"synthesis":[248,279],"tools,":[249],"(iii)":[251],"optimization":[253],"settings":[254],"provide":[255],"interesting":[257],"insights.":[258],"For":[259],"instance,":[260],"<italic":[269],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[270],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">only</i>":[271],"using":[272],"when":[276],"tool":[280,292],"used.":[282],"designers":[284],"verification":[291],"lower-bound":[296],"achieved":[298],"implementations.":[301],"Finally,":[302],"shall":[304],"release":[305],"artifacts":[307],"(post-review),":[308],"could":[310],"help":[311],"foster":[312],"development":[314],"future":[316],"defenses":[319],"in":[320],"domain.":[322]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}