{"id":"https://openalex.org/W3111808482","doi":"https://doi.org/10.1145/3400302.3415669","title":"NNgSAT","display_name":"NNgSAT","publication_year":2020,"publication_date":"2020-11-02","ids":{"openalex":"https://openalex.org/W3111808482","doi":"https://doi.org/10.1145/3400302.3415669","mag":"3111808482"},"language":"en","primary_location":{"id":"doi:10.1145/3400302.3415669","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3400302.3415669","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 39th International Conference on Computer-Aided Design","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/A5031747364","display_name":"Kimia Zamiri Azar","orcid":"https://orcid.org/0000-0001-5684-100X"},"institutions":[{"id":"https://openalex.org/I162714631","display_name":"George Mason University","ror":"https://ror.org/02jqj7156","country_code":"US","type":"education","lineage":["https://openalex.org/I162714631"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Kimia Zamiri Azar","raw_affiliation_strings":["George Mason University"],"affiliations":[{"raw_affiliation_string":"George Mason University","institution_ids":["https://openalex.org/I162714631"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101538655","display_name":"Hadi Mardani Kamali","orcid":"https://orcid.org/0000-0002-4246-6736"},"institutions":[{"id":"https://openalex.org/I162714631","display_name":"George Mason University","ror":"https://ror.org/02jqj7156","country_code":"US","type":"education","lineage":["https://openalex.org/I162714631"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Hadi Mardani Kamali","raw_affiliation_strings":["George Mason University"],"affiliations":[{"raw_affiliation_string":"George Mason University","institution_ids":["https://openalex.org/I162714631"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047382437","display_name":"Houman Homayoun","orcid":"https://orcid.org/0000-0001-8904-4699"},"institutions":[{"id":"https://openalex.org/I2803209242","display_name":"University of California System","ror":"https://ror.org/00pjdza24","country_code":"US","type":"education","lineage":["https://openalex.org/I2803209242"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Houman Homayoun","raw_affiliation_strings":["University of California"],"affiliations":[{"raw_affiliation_string":"University of California","institution_ids":["https://openalex.org/I2803209242"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5060036961","display_name":"Avesta Sasan","orcid":"https://orcid.org/0000-0002-4052-8075"},"institutions":[{"id":"https://openalex.org/I162714631","display_name":"George Mason University","ror":"https://ror.org/02jqj7156","country_code":"US","type":"education","lineage":["https://openalex.org/I162714631"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Avesta Sasan","raw_affiliation_strings":["George Mason University"],"affiliations":[{"raw_affiliation_string":"George Mason University","institution_ids":["https://openalex.org/I162714631"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5031747364"],"corresponding_institution_ids":["https://openalex.org/I162714631"],"apc_list":null,"apc_paid":null,"fwci":6.931,"has_fulltext":false,"cited_by_count":38,"citation_normalized_percentile":{"value":0.97720674,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"9"},"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.9930999875068665,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9667999744415283,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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.7635185718536377},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.7239276170730591},{"id":"https://openalex.org/keywords/obfuscation","display_name":"Obfuscation","score":0.6269821524620056},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.45302814245224},{"id":"https://openalex.org/keywords/routing","display_name":"Routing (electronic design automation)","score":0.4390799403190613},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.4338095188140869},{"id":"https://openalex.org/keywords/logic-gate","display_name":"Logic gate","score":0.4302195906639099},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.4209756851196289},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.4143942594528198},{"id":"https://openalex.org/keywords/boolean-circuit","display_name":"Boolean circuit","score":0.4132477641105652},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2686658799648285},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.18058383464813232},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.16441816091537476},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.16187801957130432},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.10007819533348083}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7635185718536377},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.7239276170730591},{"id":"https://openalex.org/C40305131","wikidata":"https://www.wikidata.org/wiki/Q2616305","display_name":"Obfuscation","level":2,"score":0.6269821524620056},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.45302814245224},{"id":"https://openalex.org/C74172769","wikidata":"https://www.wikidata.org/wiki/Q1446839","display_name":"Routing (electronic design automation)","level":2,"score":0.4390799403190613},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.4338095188140869},{"id":"https://openalex.org/C131017901","wikidata":"https://www.wikidata.org/wiki/Q170451","display_name":"Logic gate","level":2,"score":0.4302195906639099},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.4209756851196289},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.4143942594528198},{"id":"https://openalex.org/C141796577","wikidata":"https://www.wikidata.org/wiki/Q837479","display_name":"Boolean circuit","level":3,"score":0.4132477641105652},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2686658799648285},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.18058383464813232},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.16441816091537476},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.16187801957130432},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.10007819533348083}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3400302.3415669","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3400302.3415669","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 39th International Conference on Computer-Aided Design","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/17","display_name":"Partnerships for the goals","score":0.41999998688697815}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":63,"referenced_works":["https://openalex.org/W4983232","https://openalex.org/W1515903565","https://openalex.org/W1524250393","https://openalex.org/W1986199670","https://openalex.org/W2001802315","https://openalex.org/W2012725064","https://openalex.org/W2063615695","https://openalex.org/W2064675550","https://openalex.org/W2067276029","https://openalex.org/W2095410905","https://openalex.org/W2106409910","https://openalex.org/W2124954128","https://openalex.org/W2161998562","https://openalex.org/W2336864643","https://openalex.org/W2419784917","https://openalex.org/W2499445168","https://openalex.org/W2536656707","https://openalex.org/W2587958472","https://openalex.org/W2600072075","https://openalex.org/W2607159714","https://openalex.org/W2608329737","https://openalex.org/W2615010670","https://openalex.org/W2615060729","https://openalex.org/W2626492933","https://openalex.org/W2708742051","https://openalex.org/W2741711485","https://openalex.org/W2747980214","https://openalex.org/W2766393343","https://openalex.org/W2769905020","https://openalex.org/W2771405182","https://openalex.org/W2772235844","https://openalex.org/W2786776430","https://openalex.org/W2791567389","https://openalex.org/W2798443351","https://openalex.org/W2798540755","https://openalex.org/W2798554995","https://openalex.org/W2807607203","https://openalex.org/W2899848879","https://openalex.org/W2902639362","https://openalex.org/W2909895117","https://openalex.org/W2910639741","https://openalex.org/W2945305016","https://openalex.org/W2946593940","https://openalex.org/W2950285720","https://openalex.org/W2963001922","https://openalex.org/W2964121744","https://openalex.org/W2971563218","https://openalex.org/W2996815821","https://openalex.org/W2996950687","https://openalex.org/W2998465829","https://openalex.org/W3002973505","https://openalex.org/W3008115578","https://openalex.org/W3033203385","https://openalex.org/W3047025371","https://openalex.org/W3083612912","https://openalex.org/W3105554950","https://openalex.org/W3106433382","https://openalex.org/W3111508438","https://openalex.org/W3165267979","https://openalex.org/W4246305008","https://openalex.org/W4251158353","https://openalex.org/W4285719527","https://openalex.org/W6600203084"],"related_works":["https://openalex.org/W3176904788","https://openalex.org/W21597398","https://openalex.org/W2091617677","https://openalex.org/W4298153058","https://openalex.org/W2408080066","https://openalex.org/W1913543287","https://openalex.org/W2268872489","https://openalex.org/W2963044240","https://openalex.org/W2166827623","https://openalex.org/W4235387920"],"abstract_inverted_index":{"The":[0],"globalization":[1],"of":[2,37,55,101,139,201,212,224],"the":[3,45,48,72,90,97,135,173,180,186,209,213,225,237,243],"IC":[4],"supply":[5],"chain":[6],"has":[7,19],"raised":[8],"many":[9,112],"security":[10],"threats,":[11],"especially":[12],"when":[13,71],"untrusted":[14],"parties":[15],"are":[16],"involved.":[17],"This":[18],"created":[20],"a":[21,24,34,108,126,140,158,164,170,199,233],"demand":[22],"for":[23,96,104,145,184],"dependable":[25],"logic":[26,42,63,73,91,202,226],"obfuscation":[27,43,64,105],"solution":[28],"to":[29,116,160,178,198],"combat":[30],"these":[31,102,147],"threats.":[32],"Amongst":[33],"wide":[35],"range":[36],"threats":[38],"and":[39,137],"countermeasures":[40],"on":[41,163,192],"in":[44,67,121,131,246],"2010s":[46],"decade,":[47],"Boolean":[49],"satisfiability":[50],"(SAT)":[51],"attack,":[52],"or":[53,86],"one":[54],"its":[56],"derivatives,":[57],"could":[58,221],"break":[59],"almost":[60],"all":[61],"state-of-the-art":[62],"countermeasures.":[65],"However,":[66,120],"some":[68],"cases,":[69],"particularly":[70],"locked":[74,92,203,227],"circuits":[75,228],"contain":[76],"complex":[77,148,230],"structures,":[78,89],"such":[79,118],"as":[80,111,157,169,205,207],"big":[81,87],"multipliers,":[82],"large":[83],"routing":[84],"networks,":[85],"tree":[88],"circuit":[93],"is":[94,176],"hard-to-be-solved":[95],"SAT":[98,113,128,165,171,182,187,239],"attack.":[99],"Usage":[100],"structures":[103,149,231],"may":[106],"lead":[107],"strong":[109],"defense,":[110],"solvers":[114],"fail":[115],"handle":[117],"complexity.":[119],"this":[122],"paper,":[123],"we":[124,133],"propose":[125],"neural-network-guided":[127],"attack":[129,240,244],"(NNgSAT),":[130],"which":[132],"examine":[134],"capability":[136],"effectiveness":[138],"message-passing":[141],"neural":[142,174],"network":[143,175],"(MPNN)":[144],"solving":[146],"(SAT-hard":[150],"instances).":[151],"In":[152],"NNgSAT,":[153],"after":[154],"being":[155],"trained":[156],"classifier":[159],"predict":[161],"SAT/UNSAT":[162],"problem":[166],"(NN":[167],"serves":[168],"solver),":[172],"used":[177],"guide/help":[179],"actual":[181],"solver":[183],"finding":[185],"assignment(s).":[188],"By":[189],"training":[190],"NN":[191,214],"conjunctive":[193],"normal":[194],"forms":[195],"(CNFs)":[196],"corresponded":[197],"dataset":[200],"circuits,":[204],"well":[206],"fine-tuning":[208],"confidence":[210],"rate":[211],"prediction,":[215],"our":[216],"experiments":[217],"show":[218],"that":[219],"NNgSAT":[220],"solve":[222],"93.5%":[223],"containing":[229],"within":[232],"reasonable":[234],"time,":[235],"while":[236],"existing":[238],"cannot":[241],"proceed":[242],"flow":[245],"them.":[247]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":7},{"year":2023,"cited_by_count":10},{"year":2022,"cited_by_count":8},{"year":2021,"cited_by_count":11},{"year":2020,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2020-12-21T00:00:00"}