{"id":"https://openalex.org/W2942805026","doi":"https://doi.org/10.1109/iscas.2019.8702704","title":"Functional Reverse Engineering on SAT-Attack Resilient Logic Locking","display_name":"Functional Reverse Engineering on SAT-Attack Resilient Logic Locking","publication_year":2019,"publication_date":"2019-05-01","ids":{"openalex":"https://openalex.org/W2942805026","doi":"https://doi.org/10.1109/iscas.2019.8702704","mag":"2942805026"},"language":"en","primary_location":{"id":"doi:10.1109/iscas.2019.8702704","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iscas.2019.8702704","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 IEEE International Symposium on Circuits and Systems (ISCAS)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5030348801","display_name":"Lilas Alrahis","orcid":"https://orcid.org/0000-0001-9932-6833"},"institutions":[{"id":"https://openalex.org/I176601375","display_name":"Khalifa University of Science and Technology","ror":"https://ror.org/05hffr360","country_code":"AE","type":"education","lineage":["https://openalex.org/I176601375"]}],"countries":["AE"],"is_corresponding":false,"raw_author_name":"Lilas Alrahis","raw_affiliation_strings":["System on Chip center, Khalifa University, Abu Dhabi, U.A.E"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"System on Chip center, Khalifa University, Abu Dhabi, U.A.E","institution_ids":["https://openalex.org/I176601375"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034926702","display_name":"Muhammad Yasin","orcid":"https://orcid.org/0000-0001-9475-2796"},"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":"Muhammad Yasin","raw_affiliation_strings":["Texas A&M University, TX, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Texas A&M University, TX, USA","institution_ids":["https://openalex.org/I91045830"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078108496","display_name":"Hani Saleh","orcid":"https://orcid.org/0000-0002-7185-0278"},"institutions":[{"id":"https://openalex.org/I176601375","display_name":"Khalifa University of Science and Technology","ror":"https://ror.org/05hffr360","country_code":"AE","type":"education","lineage":["https://openalex.org/I176601375"]}],"countries":["AE"],"is_corresponding":false,"raw_author_name":"Hani Saleh","raw_affiliation_strings":["System on Chip center, Khalifa University, Abu Dhabi, U.A.E"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"System on Chip center, Khalifa University, Abu Dhabi, U.A.E","institution_ids":["https://openalex.org/I176601375"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013814572","display_name":"Baker Mohammad","orcid":"https://orcid.org/0000-0002-6063-473X"},"institutions":[{"id":"https://openalex.org/I176601375","display_name":"Khalifa University of Science and Technology","ror":"https://ror.org/05hffr360","country_code":"AE","type":"education","lineage":["https://openalex.org/I176601375"]}],"countries":["AE"],"is_corresponding":false,"raw_author_name":"Baker Mohammad","raw_affiliation_strings":["System on Chip center, Khalifa University, Abu Dhabi, U.A.E"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"System on Chip center, Khalifa University, Abu Dhabi, U.A.E","institution_ids":["https://openalex.org/I176601375"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5020682177","display_name":"Mahmoud Al\u2010Qutayri","orcid":"https://orcid.org/0000-0002-9600-8036"},"institutions":[{"id":"https://openalex.org/I176601375","display_name":"Khalifa University of Science and Technology","ror":"https://ror.org/05hffr360","country_code":"AE","type":"education","lineage":["https://openalex.org/I176601375"]}],"countries":["AE"],"is_corresponding":false,"raw_author_name":"Mahmoud Al-Qutayri","raw_affiliation_strings":["System on Chip center, Khalifa University, Abu Dhabi, U.A.E"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"System on Chip center, Khalifa University, Abu Dhabi, U.A.E","institution_ids":["https://openalex.org/I176601375"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":26,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"5"},"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/T11601","display_name":"Neuroscience and Neural Engineering","score":0.9922999739646912,"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"}},{"id":"https://openalex.org/T14117","display_name":"Integrated Circuits and Semiconductor Failure Analysis","score":0.9830999970436096,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.705152153968811},{"id":"https://openalex.org/keywords/oracle","display_name":"Oracle","score":0.579516589641571},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.5592256188392639},{"id":"https://openalex.org/keywords/resilience","display_name":"Resilience (materials science)","score":0.488517165184021},{"id":"https://openalex.org/keywords/reverse-engineering","display_name":"Reverse engineering","score":0.447208970785141},{"id":"https://openalex.org/keywords/trojan","display_name":"Trojan","score":0.44491875171661377},{"id":"https://openalex.org/keywords/sequential-logic","display_name":"Sequential logic","score":0.43963223695755005},{"id":"https://openalex.org/keywords/logic-gate","display_name":"Logic gate","score":0.42482393980026245},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.35842543840408325},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.33855876326560974},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.33119726181030273},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.316855251789093},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.18056973814964294}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.705152153968811},{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.579516589641571},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.5592256188392639},{"id":"https://openalex.org/C2779585090","wikidata":"https://www.wikidata.org/wiki/Q3457762","display_name":"Resilience (materials science)","level":2,"score":0.488517165184021},{"id":"https://openalex.org/C207850805","wikidata":"https://www.wikidata.org/wiki/Q269608","display_name":"Reverse engineering","level":2,"score":0.447208970785141},{"id":"https://openalex.org/C174333608","wikidata":"https://www.wikidata.org/wiki/Q19635","display_name":"Trojan","level":2,"score":0.44491875171661377},{"id":"https://openalex.org/C187075797","wikidata":"https://www.wikidata.org/wiki/Q173245","display_name":"Sequential logic","level":3,"score":0.43963223695755005},{"id":"https://openalex.org/C131017901","wikidata":"https://www.wikidata.org/wiki/Q170451","display_name":"Logic gate","level":2,"score":0.42482393980026245},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.35842543840408325},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.33855876326560974},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.33119726181030273},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.316855251789093},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.18056973814964294},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/iscas.2019.8702704","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iscas.2019.8702704","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 IEEE International Symposium on Circuits and Systems (ISCAS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W1482046022","https://openalex.org/W1515903565","https://openalex.org/W1524250393","https://openalex.org/W1970852936","https://openalex.org/W1986199670","https://openalex.org/W2008819052","https://openalex.org/W2029979276","https://openalex.org/W2064541558","https://openalex.org/W2067276029","https://openalex.org/W2095410905","https://openalex.org/W2106409910","https://openalex.org/W2112173236","https://openalex.org/W2124954128","https://openalex.org/W2135211381","https://openalex.org/W2157661732","https://openalex.org/W2343475170","https://openalex.org/W2419784917","https://openalex.org/W2499445168","https://openalex.org/W2615060729","https://openalex.org/W2616325639","https://openalex.org/W2708742051","https://openalex.org/W2741711485","https://openalex.org/W2747980214","https://openalex.org/W2766393343","https://openalex.org/W2806992466","https://openalex.org/W2952980742","https://openalex.org/W4231363479","https://openalex.org/W4234154886","https://openalex.org/W6675797392"],"related_works":["https://openalex.org/W4307535425","https://openalex.org/W2746929098","https://openalex.org/W4296473373","https://openalex.org/W2542280163","https://openalex.org/W2533122910","https://openalex.org/W1976440785","https://openalex.org/W2059422871","https://openalex.org/W2169337913","https://openalex.org/W4386128270","https://openalex.org/W2810170748"],"abstract_inverted_index":{"Logic":[0,82],"locking":[1,32,46,163],"is":[2,153],"a":[3,28,54,58,100,126],"solution":[4],"that":[5,38,61,109,150],"mitigates":[6],"hardware":[7],"security":[8],"threats,":[9],"such":[10],"as":[11,34,36],"Trojan":[12],"insertion,":[13],"piracy":[14],"and":[15,132,146],"counterfeiting.":[16],"Research":[17],"in":[18,24,71,119],"this":[19,96],"area":[20],"has":[21],"led":[22],"to,":[23],"an":[25,107],"iterative":[26],"fashion,":[27],"series":[29],"of":[30,115,144,155,159],"logic":[31,45,93,114,162],"defenses":[33,41],"well":[35],"attacks":[37,51,90],"circumvent":[39],"these":[40],"by":[42,136],"extracting":[43],"the":[44,67,73,112,121,157,160],"key.":[47,75],"The":[48,130],"most":[49],"powerful":[50],"rely":[52],"on":[53,91,105],"full":[55],"access":[56],"to":[57,65,87],"working":[59],"chip/oracle":[60],"can":[62,110],"be":[63],"used":[64],"produce":[66],"input-output":[68],"pairs":[69],"utilized":[70,135],"recovering":[72],"secret":[74],"A":[76],"recently":[77],"proposed":[78],"technique":[79],"Stripped":[80],"Functionality":[81],"Locking":[83],"(SFLL)":[84],"provides":[85],"resilience":[86],"all":[88],"known":[89],"combinational":[92],"locking.":[94],"In":[95],"paper,":[97],"we":[98],"propose":[99],"functional":[101],"reverse":[102],"engineering":[103],"attack":[104,108,152],"SFLL:":[106],"detect":[111],"protection":[113],"SFLL":[116,137],"which":[117],"results":[118],"obtaining":[120],"original":[122],"unlocked":[123],"design":[124],"with":[125,140],"high":[127],"success":[128],"rate.":[129],"restore":[131],"perturb":[133],"blocks":[134],"were":[138],"detected":[139],"average":[141],"coverage":[142],"percentages":[143],"93.95%":[145],"85.42%":[147],"respectively,":[148],"proving":[149],"our":[151],"capable":[154],"breaking":[156],"state":[158],"art":[161],"technique.":[164]},"counts_by_year":[{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":5}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}