{"id":"https://openalex.org/W4312856030","doi":"https://doi.org/10.1109/csf54842.2022.9919691","title":"Locked Circuit Indistinguishability: A Notion of Security for Logic Locking","display_name":"Locked Circuit Indistinguishability: A Notion of Security for Logic Locking","publication_year":2022,"publication_date":"2022-08-01","ids":{"openalex":"https://openalex.org/W4312856030","doi":"https://doi.org/10.1109/csf54842.2022.9919691"},"language":"en","primary_location":{"id":"doi:10.1109/csf54842.2022.9919691","is_oa":false,"landing_page_url":"https://doi.org/10.1109/csf54842.2022.9919691","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 IEEE 35th Computer Security Foundations Symposium (CSF)","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/A5053121769","display_name":"Mohamed El Massad","orcid":"https://orcid.org/0000-0002-4085-6036"},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]},{"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":["CA","US"],"is_corresponding":false,"raw_author_name":"Mohamed El Massad","raw_affiliation_strings":["University of Waterloo","New York University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Waterloo","institution_ids":["https://openalex.org/I151746483"]},{"raw_affiliation_string":"New York University","institution_ids":["https://openalex.org/I57206974"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069741885","display_name":"Nahid Juma","orcid":"https://orcid.org/0000-0001-6562-0137"},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Nahid Juma","raw_affiliation_strings":["University of Waterloo"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Waterloo","institution_ids":["https://openalex.org/I151746483"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030535003","display_name":"Jonathan Shahen","orcid":"https://orcid.org/0000-0002-6566-0961"},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Jonathan Shahen","raw_affiliation_strings":["University of Waterloo"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Waterloo","institution_ids":["https://openalex.org/I151746483"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089603958","display_name":"Mariana Raykova","orcid":"https://orcid.org/0000-0002-1744-4025"},"institutions":[{"id":"https://openalex.org/I1291425158","display_name":"Google (United States)","ror":"https://ror.org/00njsd438","country_code":"US","type":"company","lineage":["https://openalex.org/I1291425158","https://openalex.org/I4210128969"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mariana Raykova","raw_affiliation_strings":["Google"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Google","institution_ids":["https://openalex.org/I1291425158"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010950688","display_name":"Siddharth Garg","orcid":"https://orcid.org/0000-0002-6158-9512"},"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":"Siddharth Garg","raw_affiliation_strings":["New York University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"New York University","institution_ids":["https://openalex.org/I57206974"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5081788400","display_name":"Mahesh Tripunitara","orcid":"https://orcid.org/0000-0002-3615-9393"},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Mahesh Tripunitara","raw_affiliation_strings":["University of Waterloo"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Waterloo","institution_ids":["https://openalex.org/I151746483"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.16594982,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":98},"biblio":{"volume":"2017","issue":null,"first_page":"455","last_page":"470"},"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.9975000023841858,"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.9799000024795532,"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.7505843639373779},{"id":"https://openalex.org/keywords/pseudorandom-function-family","display_name":"Pseudorandom function family","score":0.5993680953979492},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.560877799987793},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.5492970943450928},{"id":"https://openalex.org/keywords/cryptographic-primitive","display_name":"Cryptographic primitive","score":0.5248477458953857},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.4986569881439209},{"id":"https://openalex.org/keywords/mechanism","display_name":"Mechanism (biology)","score":0.4973898231983185},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.47931304574012756},{"id":"https://openalex.org/keywords/obfuscation","display_name":"Obfuscation","score":0.4690663814544678},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.4562782347202301},{"id":"https://openalex.org/keywords/cryptographic-protocol","display_name":"Cryptographic protocol","score":0.21111741662025452},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1852758526802063}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7505843639373779},{"id":"https://openalex.org/C178774983","wikidata":"https://www.wikidata.org/wiki/Q734896","display_name":"Pseudorandom function family","level":3,"score":0.5993680953979492},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.560877799987793},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.5492970943450928},{"id":"https://openalex.org/C15927051","wikidata":"https://www.wikidata.org/wiki/Q246593","display_name":"Cryptographic primitive","level":4,"score":0.5248477458953857},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.4986569881439209},{"id":"https://openalex.org/C89611455","wikidata":"https://www.wikidata.org/wiki/Q6804646","display_name":"Mechanism (biology)","level":2,"score":0.4973898231983185},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.47931304574012756},{"id":"https://openalex.org/C40305131","wikidata":"https://www.wikidata.org/wiki/Q2616305","display_name":"Obfuscation","level":2,"score":0.4690663814544678},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.4562782347202301},{"id":"https://openalex.org/C33884865","wikidata":"https://www.wikidata.org/wiki/Q1254335","display_name":"Cryptographic protocol","level":3,"score":0.21111741662025452},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1852758526802063},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","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/csf54842.2022.9919691","is_oa":false,"landing_page_url":"https://doi.org/10.1109/csf54842.2022.9919691","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 IEEE 35th Computer Security Foundations Symposium (CSF)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6100000143051147,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W25973253","https://openalex.org/W117707387","https://openalex.org/W1524250393","https://openalex.org/W1892798954","https://openalex.org/W1963071371","https://openalex.org/W2011039300","https://openalex.org/W2012725064","https://openalex.org/W2067276029","https://openalex.org/W2109766996","https://openalex.org/W2148888468","https://openalex.org/W2184303230","https://openalex.org/W2186373936","https://openalex.org/W2343475170","https://openalex.org/W2401610261","https://openalex.org/W2407435798","https://openalex.org/W2474861573","https://openalex.org/W2708742051","https://openalex.org/W2741234428","https://openalex.org/W2766393343","https://openalex.org/W2806992466","https://openalex.org/W2807607203","https://openalex.org/W2952435030","https://openalex.org/W2990658266","https://openalex.org/W3001648869","https://openalex.org/W3082860856","https://openalex.org/W3160672701","https://openalex.org/W4210300416","https://openalex.org/W4246219036","https://openalex.org/W4298227433","https://openalex.org/W6671777941","https://openalex.org/W6686381800","https://openalex.org/W6742228250","https://openalex.org/W6781894043"],"related_works":["https://openalex.org/W18954787","https://openalex.org/W3138083505","https://openalex.org/W4254460476","https://openalex.org/W2783353176","https://openalex.org/W2339543721","https://openalex.org/W1514794536","https://openalex.org/W1829339118","https://openalex.org/W87530933","https://openalex.org/W3179891621","https://openalex.org/W4390962791"],"abstract_inverted_index":{"We":[0,17,101],"address":[1],"logic":[2,80,221],"locking,":[3],"a":[4,30,57,74,79,96,104,125,152,180,192,215],"mechanism":[5,60,82,105,119,143],"for":[6,56,78,160,186,220],"securing":[7],"digital":[8],"Integrated":[9],"Circuits":[10],"(ICs)":[11],"from":[12,92,114],"piracy":[13],"by":[14],"untrustworthy":[15],"foundries.":[16],"discuss":[18],"previous":[19],"work":[20],"and":[21,24,45,86,98,130,205],"the":[22,38,88,108,121,146,169,198,209],"state-of-the-art,":[23],"observe":[25],"that,":[26],"despite":[27],"more":[28],"than":[29],"decade":[31],"of":[32,76,123,155,218],"research":[33],"that":[34,106,137],"has":[35],"gone":[36],"into":[37],"topic":[39],"(resulting":[40],"in":[41,95,166,183],"both":[42,124],"powerful":[43],"attacks":[44],"subsequent":[46],"defenses),":[47],"there":[48],"is":[49,164,212],"no":[50],"consensus":[51],"on":[52,84],"what":[53],"it":[54,72],"means":[55],"particular":[58],"locking":[59,81,156],"to":[61,67,90,197],"be":[62],"secure.":[63],"This":[64],"paper":[65],"attempts":[66],"remedy":[68],"this":[69],"situation.":[70],"Specifically,":[71],"formulates":[73],"definition":[75,89],"security":[77,91,113,163,219],"based":[83],"indistinguishability":[85,132],"relates":[87],"actual":[93],"attackers":[94],"precise":[97],"unambiguous":[99],"manner.":[100],"then":[102],"describe":[103],"satisfies":[107],"definition,":[109],"thereby":[110],"achieving":[111,162],"(provable)":[112],"all":[115],"prior":[116,193],"attacks.":[117],"The":[118,142],"assumes":[120],"existence":[122],"puncturable":[126],"pseudorandom":[127],"function":[128],"family":[129,154],"an":[131],"obfuscator,":[133],"two":[134],"cryptographic":[135],"primitives":[136],"exist":[138],"under":[139],"well-founded":[140],"assumptions.":[141],"builds":[144],"upon":[145],"Stripped-Functionality":[147],"Logic":[148],"Locking":[149],"(SFLL)":[150],"framework,":[151],"state-of-the-art":[153],"mechanisms":[157],"whose":[158],"potential":[159],"ever":[161],"currently":[165],"question.":[167],"Along":[168],"way,":[170],"partly":[171],"as":[172,179,214],"motivation,":[173],"we":[174],"present":[175],"additional":[176],"results,":[177],"such":[178,203],"reason":[181],"founded":[182],"average-case":[184],"complexity":[185],"why":[187,206],"benchmark":[188],"circuits":[189],"locked":[190],"with":[191],"scheme":[194],"are":[195],"susceptible":[196],"well-known":[199],"SAT":[200,210],"attack":[201,211],"against":[202],"schemes,":[204],"provably":[207],"thwarting":[208],"insufficient":[213],"meaningful":[216],"notion":[217],"locking.":[222]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}