{"id":"https://openalex.org/W4405724478","doi":"https://doi.org/10.1145/3709139","title":"SRLL: Improving Security and Reliability with User-Defined Constraint-Aware Logic Locking","display_name":"SRLL: Improving Security and Reliability with User-Defined Constraint-Aware Logic Locking","publication_year":2024,"publication_date":"2024-12-23","ids":{"openalex":"https://openalex.org/W4405724478","doi":"https://doi.org/10.1145/3709139"},"language":"en","primary_location":{"id":"doi:10.1145/3709139","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3709139","pdf_url":null,"source":{"id":"https://openalex.org/S96198239","display_name":"ACM Journal on Emerging Technologies in Computing Systems","issn_l":"1550-4832","issn":["1550-4832","1550-4840"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Journal on Emerging Technologies in Computing 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/A5022492923","display_name":"Mona Hashemi","orcid":"https://orcid.org/0000-0002-8599-1346"},"institutions":[{"id":"https://openalex.org/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"education","lineage":["https://openalex.org/I165932596"]},{"id":"https://openalex.org/I23946033","display_name":"University of Tehran","ror":"https://ror.org/05vf56z40","country_code":"IR","type":"education","lineage":["https://openalex.org/I23946033"]}],"countries":["IR","SG"],"is_corresponding":true,"raw_author_name":"Mona Hashemi","raw_affiliation_strings":["College of Engineering, School of Electrical and Computer Eng., University of Tehran, Tehran, The Islamic Republic of Iran and School of Computing, National University of Singapore, Singapore, Singapore","School of Electrical and Computer Eng., College of Eng., University of Tehran, Iran and School of Computing, National University of Singapore, Singapore"],"raw_orcid":"https://orcid.org/0000-0002-8599-1346","affiliations":[{"raw_affiliation_string":"College of Engineering, School of Electrical and Computer Eng., University of Tehran, Tehran, The Islamic Republic of Iran and School of Computing, National University of Singapore, Singapore, Singapore","institution_ids":["https://openalex.org/I165932596"]},{"raw_affiliation_string":"School of Electrical and Computer Eng., College of Eng., University of Tehran, Iran and School of Computing, National University of Singapore, Singapore","institution_ids":["https://openalex.org/I165932596","https://openalex.org/I23946033"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053012913","display_name":"Siamak Mohammadi","orcid":"https://orcid.org/0000-0003-1515-7281"},"institutions":[{"id":"https://openalex.org/I23946033","display_name":"University of Tehran","ror":"https://ror.org/05vf56z40","country_code":"IR","type":"education","lineage":["https://openalex.org/I23946033"]},{"id":"https://openalex.org/I4210146419","display_name":"Institute for Research in Fundamental Sciences","ror":"https://ror.org/04xreqs31","country_code":"IR","type":"facility","lineage":["https://openalex.org/I4210146419"]}],"countries":["IR"],"is_corresponding":false,"raw_author_name":"Siamak Mohammadi","raw_affiliation_strings":["College of Engineering, School of Electrical and Computer Eng., University of Tehran, Tehran, The Islamic Republic of Iran and School of Computer Science, Institute for Research in Fundamental Sciences (IPM), Tehran, The Islamic Republic of Iran","School of Electrical and Computer Eng., College of Eng., University of Tehran, Iran and School of Computing Science, Institue for Research in Fundamental Sciences (IPM), Iran"],"raw_orcid":"https://orcid.org/0000-0003-1515-7281","affiliations":[{"raw_affiliation_string":"College of Engineering, School of Electrical and Computer Eng., University of Tehran, Tehran, The Islamic Republic of Iran and School of Computer Science, Institute for Research in Fundamental Sciences (IPM), Tehran, The Islamic Republic of Iran","institution_ids":["https://openalex.org/I4210146419"]},{"raw_affiliation_string":"School of Electrical and Computer Eng., College of Eng., University of Tehran, Iran and School of Computing Science, Institue for Research in Fundamental Sciences (IPM), Iran","institution_ids":["https://openalex.org/I4210146419","https://openalex.org/I23946033"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5069683581","display_name":"Trevor E. Carlson","orcid":"https://orcid.org/0000-0001-8742-134X"},"institutions":[{"id":"https://openalex.org/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"education","lineage":["https://openalex.org/I165932596"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Trevor E. Carlson","raw_affiliation_strings":["School of Computing, National University of Singapore, Singapore, Singapore","School of Computing, National University of Singapore, Singapore"],"raw_orcid":"https://orcid.org/0000-0001-8742-134X","affiliations":[{"raw_affiliation_string":"School of Computing, National University of Singapore, Singapore, Singapore","institution_ids":["https://openalex.org/I165932596"]},{"raw_affiliation_string":"School of Computing, National University of Singapore, Singapore","institution_ids":["https://openalex.org/I165932596"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5022492923"],"corresponding_institution_ids":["https://openalex.org/I165932596","https://openalex.org/I23946033"],"apc_list":null,"apc_paid":null,"fwci":0.458,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.65634713,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"21","issue":"1","first_page":"1","last_page":"27"},"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.9914000034332275,"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/T11601","display_name":"Neuroscience and Neural Engineering","score":0.9699000120162964,"subfield":{"id":"https://openalex.org/subfields/2804","display_name":"Cellular and Molecular Neuroscience"},"field":{"id":"https://openalex.org/fields/28","display_name":"Neuroscience"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7629782557487488},{"id":"https://openalex.org/keywords/netlist","display_name":"Netlist","score":0.6217836141586304},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.6028785705566406},{"id":"https://openalex.org/keywords/resilience","display_name":"Resilience (materials science)","score":0.5506097078323364},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.48800840973854065},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.47688987851142883},{"id":"https://openalex.org/keywords/critical-path-method","display_name":"Critical path method","score":0.47064727544784546},{"id":"https://openalex.org/keywords/limit","display_name":"Limit (mathematics)","score":0.4678885042667389},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4561052918434143},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.42341870069503784},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3355417847633362},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3209015130996704},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.14571455121040344},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1192372739315033}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7629782557487488},{"id":"https://openalex.org/C177650935","wikidata":"https://www.wikidata.org/wiki/Q1760303","display_name":"Netlist","level":2,"score":0.6217836141586304},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.6028785705566406},{"id":"https://openalex.org/C2779585090","wikidata":"https://www.wikidata.org/wiki/Q3457762","display_name":"Resilience (materials science)","level":2,"score":0.5506097078323364},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.48800840973854065},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.47688987851142883},{"id":"https://openalex.org/C115874739","wikidata":"https://www.wikidata.org/wiki/Q825377","display_name":"Critical path method","level":2,"score":0.47064727544784546},{"id":"https://openalex.org/C151201525","wikidata":"https://www.wikidata.org/wiki/Q177239","display_name":"Limit (mathematics)","level":2,"score":0.4678885042667389},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4561052918434143},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.42341870069503784},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3355417847633362},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3209015130996704},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.14571455121040344},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1192372739315033},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.0},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3709139","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3709139","pdf_url":null,"source":{"id":"https://openalex.org/S96198239","display_name":"ACM Journal on Emerging Technologies in Computing Systems","issn_l":"1550-4832","issn":["1550-4832","1550-4840"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Journal on Emerging Technologies in Computing Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G8883510264","display_name":null,"funder_award_id":"CS1402-4-222","funder_id":"https://openalex.org/F4320323645","funder_display_name":"Institute for Research in Fundamental Sciences"}],"funders":[{"id":"https://openalex.org/F4320320671","display_name":"National Research Foundation","ror":"https://ror.org/05s0g1g46"},{"id":"https://openalex.org/F4320323645","display_name":"Institute for Research in Fundamental Sciences","ror":"https://ror.org/04xreqs31"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":89,"referenced_works":["https://openalex.org/W1524250393","https://openalex.org/W1528837436","https://openalex.org/W2008819052","https://openalex.org/W2015507297","https://openalex.org/W2064541558","https://openalex.org/W2067276029","https://openalex.org/W2083314129","https://openalex.org/W2124954128","https://openalex.org/W2135211381","https://openalex.org/W2152406824","https://openalex.org/W2169875292","https://openalex.org/W2419784917","https://openalex.org/W2499445168","https://openalex.org/W2587958472","https://openalex.org/W2615010670","https://openalex.org/W2615060729","https://openalex.org/W2708742051","https://openalex.org/W2741711485","https://openalex.org/W2747980214","https://openalex.org/W2771999643","https://openalex.org/W2790282160","https://openalex.org/W2798554995","https://openalex.org/W2798748345","https://openalex.org/W2806992466","https://openalex.org/W2807607203","https://openalex.org/W2810765031","https://openalex.org/W2899848879","https://openalex.org/W2902639362","https://openalex.org/W2903107655","https://openalex.org/W2909895117","https://openalex.org/W2910639741","https://openalex.org/W2922269119","https://openalex.org/W2942805026","https://openalex.org/W2945305016","https://openalex.org/W2945557633","https://openalex.org/W2951156228","https://openalex.org/W2951325841","https://openalex.org/W2951400448","https://openalex.org/W2952980742","https://openalex.org/W2958159569","https://openalex.org/W2968294979","https://openalex.org/W2994835901","https://openalex.org/W2995767700","https://openalex.org/W2999189851","https://openalex.org/W3001648869","https://openalex.org/W3002973505","https://openalex.org/W3003969100","https://openalex.org/W3036247734","https://openalex.org/W3040890974","https://openalex.org/W3083069179","https://openalex.org/W3092254747","https://openalex.org/W3092370864","https://openalex.org/W3111804930","https://openalex.org/W3120136042","https://openalex.org/W3129056223","https://openalex.org/W3131433865","https://openalex.org/W3140586337","https://openalex.org/W3157997952","https://openalex.org/W3163316191","https://openalex.org/W3163519515","https://openalex.org/W3176152958","https://openalex.org/W3176852059","https://openalex.org/W3182286741","https://openalex.org/W3186792530","https://openalex.org/W3200855694","https://openalex.org/W3212416488","https://openalex.org/W3216903038","https://openalex.org/W4200360700","https://openalex.org/W4206210405","https://openalex.org/W4285255558","https://openalex.org/W4316813742","https://openalex.org/W4386763882","https://openalex.org/W4391547549","https://openalex.org/W6652779833","https://openalex.org/W6667365471","https://openalex.org/W6724703443","https://openalex.org/W6733632429","https://openalex.org/W6742228250","https://openalex.org/W6745853315","https://openalex.org/W6746284990","https://openalex.org/W6748840973","https://openalex.org/W6756783469","https://openalex.org/W6765462975","https://openalex.org/W6775919283","https://openalex.org/W6783676016","https://openalex.org/W6791446658","https://openalex.org/W6797883714","https://openalex.org/W6891887613","https://openalex.org/W6967031582"],"related_works":["https://openalex.org/W2170314243","https://openalex.org/W2119179026","https://openalex.org/W2794947590","https://openalex.org/W2114971758","https://openalex.org/W2109932036","https://openalex.org/W2546423063","https://openalex.org/W3146543203","https://openalex.org/W4386694274","https://openalex.org/W2795180100","https://openalex.org/W2099346120"],"abstract_inverted_index":{"As":[0],"chip":[1],"fabrication":[2],"costs":[3],"rise,":[4],"designers":[5],"have":[6],"shifted":[7],"to":[8,32,35,60,80,102,129,150,159,195],"a":[9,40,72,142],"fabless":[10],"and":[11,55,64,84,95,98,109,134,164,190,206,223],"outsourced":[12],"development":[13],"model":[14],"which":[15],"opens":[16],"up":[17],"the":[18,82,91,100,104,119,126,130,157,177,184,196],"possibility":[19],"for":[20],"IP":[21],"piracy.":[22],"To":[23,121],"address":[24],"these":[25,188],"challenges,":[26],"logic":[27,75],"locking":[28,76,127,165],"methods":[29],"modify":[30],"designs":[31],"limit":[33,125],"functionality":[34],"authorized":[36],"users":[37],"that":[38,78,169],"present":[39],"valid":[41],"secret":[42],"key.":[43],"However,":[44],"existing":[45],"techniques":[46],"often":[47],"face":[48],"limitations":[49],"in":[50],"resilience":[51],"against":[52,106,215],"advanced":[53],"attacks":[54,97,112],"do":[56],"not":[57],"provide":[58],"solutions":[59],"achieve":[61],"user-defined":[62,73],"constraints":[63,116],"goals.":[65],"In":[66],"this":[67],"article,":[68],"we":[69,124,155],"propose":[70],"SRLL,":[71],"constraint-aware":[74],"technique":[77],"aims":[79],"improve":[81],"security":[83],"reliability":[85],"of":[86,145,180,186],"hardware":[87],"designs.":[88],"SRLL":[89,170,200],"bridges":[90],"gap":[92],"between":[93],"exact":[94],"approximate":[96],"allows":[99],"user":[101],"balance":[103],"resiliency":[105,173,211],"satisfiability-based,":[107],"machine-learning-based,":[108],"constant":[110],"propagation":[111],"while":[113],"securing":[114],"design":[115],"provided":[117],"by":[118,174],"user.":[120],"enable":[122],"this,":[123],"functions":[128],"non-critical":[131],"path":[132],"components":[133],"insert":[135],"key":[136,162],"gates":[137,163],"at":[138],"specific":[139],"nodes,":[140],"introducing":[141],"new":[143],"set":[144],"critical":[146],"parameters":[147],"specifically":[148],"designed":[149],"prevent":[151],"target":[152],"attacks.":[153],"Finally,":[154],"obfuscate":[156],"netlist":[158],"hide":[160],"inserted":[161],"functions.":[166],"Results":[167],"show":[168],"maintains":[171],"strong":[172],"exponentially":[175],"increasing":[176],"required":[178],"number":[179],"distinguishing":[181],"input":[182],"patterns,":[183,189],"complexity":[185,194],"finding":[187],"adding":[191],"sufficient":[192],"structural":[193],"design.":[197],"We":[198],"evaluate":[199],"using":[201],"ISCAS":[202],"\u201985,":[203],"MCNC":[204],"\u201991,":[205],"ITC":[207],"\u201999":[208],"benchmarks,":[209],"demonstrating":[210],"with":[212],"low":[213],"overhead":[214],"modern":[216],"attacks,":[217],"including":[218],"SAT,":[219],"AppSAT,":[220],"OMLA,":[221],"SAIL,":[222],"SCOPE.":[224]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}