{"id":"https://openalex.org/W4312389853","doi":"https://doi.org/10.1109/tcad.2022.3215796","title":"HLock+: A Robust and Low-Overhead Logic Locking at the High-Level Language","display_name":"HLock+: A Robust and Low-Overhead Logic Locking at the High-Level Language","publication_year":2022,"publication_date":"2022-11-03","ids":{"openalex":"https://openalex.org/W4312389853","doi":"https://doi.org/10.1109/tcad.2022.3215796"},"language":"en","primary_location":{"id":"doi:10.1109/tcad.2022.3215796","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2022.3215796","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/A5007918338","display_name":"Md Rafid Muttaki","orcid":"https://orcid.org/0000-0003-0928-4508"},"institutions":[{"id":"https://openalex.org/I33213144","display_name":"University of Florida","ror":"https://ror.org/02y3ad647","country_code":"US","type":"education","lineage":["https://openalex.org/I33213144"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Md Rafid Muttaki","raw_affiliation_strings":["Department of Electrical and Computer Engineering, University of Florida, Gainesville, FL, USA"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Florida, Gainesville, FL, USA","institution_ids":["https://openalex.org/I33213144"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025422262","display_name":"Roshanak Mohammadivojdan","orcid":null},"institutions":[{"id":"https://openalex.org/I33213144","display_name":"University of Florida","ror":"https://ror.org/02y3ad647","country_code":"US","type":"education","lineage":["https://openalex.org/I33213144"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Roshanak Mohammadivojdan","raw_affiliation_strings":["University of Florida, Gainesville, FL, USA"],"affiliations":[{"raw_affiliation_string":"University of Florida, Gainesville, FL, USA","institution_ids":["https://openalex.org/I33213144"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020619624","display_name":"Hadi Mardani Kamali","orcid":"https://orcid.org/0000-0002-5917-5425"},"institutions":[{"id":"https://openalex.org/I33213144","display_name":"University of Florida","ror":"https://ror.org/02y3ad647","country_code":"US","type":"education","lineage":["https://openalex.org/I33213144"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Hadi Mardani Kamali","raw_affiliation_strings":["Department of Electrical and Computer Engineering, University of Florida, Gainesville, FL, USA"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Florida, Gainesville, FL, USA","institution_ids":["https://openalex.org/I33213144"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073054890","display_name":"Mark Tehranipoor","orcid":"https://orcid.org/0000-0003-4699-3231"},"institutions":[{"id":"https://openalex.org/I33213144","display_name":"University of Florida","ror":"https://ror.org/02y3ad647","country_code":"US","type":"education","lineage":["https://openalex.org/I33213144"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mark Tehranipoor","raw_affiliation_strings":["Department of Electrical and Computer Engineering, University of Florida, Gainesville, FL, USA"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Florida, Gainesville, FL, USA","institution_ids":["https://openalex.org/I33213144"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5019820972","display_name":"Farimah Farahmandi","orcid":"https://orcid.org/0000-0003-1535-0938"},"institutions":[{"id":"https://openalex.org/I33213144","display_name":"University of Florida","ror":"https://ror.org/02y3ad647","country_code":"US","type":"education","lineage":["https://openalex.org/I33213144"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Farimah Farahmandi","raw_affiliation_strings":["Department of Electrical and Computer Engineering, University of Florida, Gainesville, FL, USA"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Florida, Gainesville, FL, USA","institution_ids":["https://openalex.org/I33213144"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5007918338"],"corresponding_institution_ids":["https://openalex.org/I33213144"],"apc_list":null,"apc_paid":null,"fwci":2.9517,"has_fulltext":false,"cited_by_count":13,"citation_normalized_percentile":{"value":0.91755072,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":95,"max":99},"biblio":{"volume":"42","issue":"7","first_page":"2149","last_page":"2162"},"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.9815000295639038,"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.9650999903678894,"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.7175421714782715},{"id":"https://openalex.org/keywords/high-level-synthesis","display_name":"High-level synthesis","score":0.5841907858848572},{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.528829038143158},{"id":"https://openalex.org/keywords/register-transfer-level","display_name":"Register-transfer level","score":0.47059476375579834},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.43099260330200195},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.34132838249206543},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3307880163192749},{"id":"https://openalex.org/keywords/logic-synthesis","display_name":"Logic synthesis","score":0.30250656604766846},{"id":"https://openalex.org/keywords/logic-gate","display_name":"Logic gate","score":0.28141331672668457},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2511240243911743},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.23549756407737732}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7175421714782715},{"id":"https://openalex.org/C58013763","wikidata":"https://www.wikidata.org/wiki/Q5754574","display_name":"High-level synthesis","level":3,"score":0.5841907858848572},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.528829038143158},{"id":"https://openalex.org/C34854456","wikidata":"https://www.wikidata.org/wiki/Q1484552","display_name":"Register-transfer level","level":4,"score":0.47059476375579834},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.43099260330200195},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.34132838249206543},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3307880163192749},{"id":"https://openalex.org/C157922185","wikidata":"https://www.wikidata.org/wiki/Q173198","display_name":"Logic synthesis","level":3,"score":0.30250656604766846},{"id":"https://openalex.org/C131017901","wikidata":"https://www.wikidata.org/wiki/Q170451","display_name":"Logic gate","level":2,"score":0.28141331672668457},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2511240243911743},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.23549756407737732},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C42935608","wikidata":"https://www.wikidata.org/wiki/Q190411","display_name":"Field-programmable gate array","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tcad.2022.3215796","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2022.3215796","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":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.5699999928474426}],"awards":[],"funders":[{"id":"https://openalex.org/F4320306087","display_name":"Semiconductor Research Corporation","ror":"https://ror.org/047z4n946"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":61,"referenced_works":["https://openalex.org/W149695198","https://openalex.org/W1524250393","https://openalex.org/W1952517978","https://openalex.org/W2008819052","https://openalex.org/W2063615695","https://openalex.org/W2064541558","https://openalex.org/W2067276029","https://openalex.org/W2067937469","https://openalex.org/W2070402310","https://openalex.org/W2083314129","https://openalex.org/W2095410905","https://openalex.org/W2099101940","https://openalex.org/W2100465945","https://openalex.org/W2106409910","https://openalex.org/W2149174385","https://openalex.org/W2163205571","https://openalex.org/W2171318521","https://openalex.org/W2336864643","https://openalex.org/W2419784917","https://openalex.org/W2499445168","https://openalex.org/W2564565181","https://openalex.org/W2608366273","https://openalex.org/W2708742051","https://openalex.org/W2741711485","https://openalex.org/W2747980214","https://openalex.org/W2766393343","https://openalex.org/W2798443351","https://openalex.org/W2809060450","https://openalex.org/W2945305016","https://openalex.org/W2946501370","https://openalex.org/W2951325841","https://openalex.org/W2963001922","https://openalex.org/W2998291624","https://openalex.org/W3008907581","https://openalex.org/W3036648097","https://openalex.org/W3092254747","https://openalex.org/W3105554950","https://openalex.org/W3111508438","https://openalex.org/W3111808482","https://openalex.org/W3139374995","https://openalex.org/W3157997952","https://openalex.org/W3160672701","https://openalex.org/W3161112328","https://openalex.org/W3166008230","https://openalex.org/W3176336444","https://openalex.org/W3183146245","https://openalex.org/W3185287477","https://openalex.org/W3212867926","https://openalex.org/W3212978613","https://openalex.org/W3213657244","https://openalex.org/W4226162183","https://openalex.org/W4234937017","https://openalex.org/W4246305008","https://openalex.org/W4252100403","https://openalex.org/W4280510800","https://openalex.org/W6641116602","https://openalex.org/W6675797392","https://openalex.org/W6683245250","https://openalex.org/W6757041163","https://openalex.org/W6771761691","https://openalex.org/W6794389165"],"related_works":["https://openalex.org/W2543290882","https://openalex.org/W2109697164","https://openalex.org/W1528726807","https://openalex.org/W2197466303","https://openalex.org/W809008615","https://openalex.org/W4312121094","https://openalex.org/W4241206086","https://openalex.org/W1964556228","https://openalex.org/W2081132365","https://openalex.org/W4318224782"],"abstract_inverted_index":{"With":[0],"the":[1,4,9,42,53,83,119,123,143,154,168,171,174,182,249],"emergence":[2],"of":[3,41,60,89,128,170,194],"horizontal":[5],"business":[6],"model":[7],"in":[8,48,99,118,126,152],"semiconductor":[10],"industry,":[11],"numerous":[12],"hardware":[13],"security":[14],"concerns":[15],"have":[16,51,157],"been":[17,37,158],"emerged,":[18],"including":[19],"intellectual":[20],"property":[21],"(IP)":[22],"theft,":[23],"malicious":[24],"functionality":[25],"insertion,":[26],"and":[27,46,111,135,139,178,196,221,229,245],"IC":[28],"overproduction.":[29],"To":[30],"combat":[31],"these":[32],"threats,":[33],"logic":[34,49,79],"locking":[35,50,80,116,136,150,155,188],"has":[36],"introduced":[38],"as":[39],"one":[40],"most":[43,54],"prominent":[44],"countermeasures,":[45],"advances":[47],"led":[52],"recent":[55],"techniques":[56],"toward":[57],"higher":[58],"levels":[59],"abstractions,":[61],"i.e.,":[62],"register":[63],"transfer":[64],"language":[65,213],"(RTL)":[66],"or":[67],"high-level":[68,84,212,218],"languages":[69],"(C/C++).":[70],"In":[71],"this":[72],"article,":[73],"we":[74,141],"propose":[75],"HLock+,":[76],"a":[77,104,147,186,192],"robust":[78],"framework":[81,184],"at":[82,211],"design":[85,108,120],"language.":[86],"HLock+":[87,100,210,236],"consists":[88],"two":[90],"main":[91],"parts":[92],"to":[93,114,121,166],"achieve":[94],"multiple":[95],"goals:":[96],"1)":[97],"Locking":[98],"is":[101,198,251],"based":[102,190],"on":[103,191],"formal":[105,144],"analysis":[106,145],"over":[107],"specifications,":[109,195],"assets,":[110],"critical":[112],"operations":[113],"determine":[115],"points":[117],"provide":[122],"best":[124],"solution":[125,189],"terms":[127],"desired":[129],"attack":[130],"resiliency":[131],"(e.g.,":[132],"SAT":[133,244],"attacks),":[134],"key":[137],"size":[138],"2)":[140],"integrate":[142],"with":[146,173],"point":[148],"function":[149],"technique,":[151],"which":[153,224],"candidates":[156],"chosen":[159],"by":[160,217],"an":[161],"optimization":[162],"algorithm":[163],"helping":[164],"us":[165],"boost":[167],"efficiency":[169],"approach":[172],"given":[175],"area,":[176],"power,":[177],"performance":[179],"constraints.":[180],"Furthermore,":[181],"proposed":[183],"ensures":[185],"dynamic/automatic":[187],"set":[193],"it":[197],"well":[199],"suited":[200],"for":[201],"large-scale":[202],"designs.":[203],"Apart":[204],"from":[205],"having":[206],"lesser":[207],"development/verification":[208],"efforts,":[209],"will":[214],"be":[215],"followed":[216],"synthesis":[219],"(HLS)":[220],"RTL":[222],"synthesis,":[223],"provides":[225,237],"superior":[226],"uniform":[227],"distribution":[228],"optimum":[230],"output":[231],"corruptibility.":[232],"We":[233],"show":[234],"that":[235],"potent":[238],"robustness":[239],"against":[240],"de-obfuscation":[241],"attacks,":[242,247],"e.g.,":[243],"machine-learning-based":[246],"while":[248],"overhead":[250],"kept":[252],"low.":[253]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":7}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}