{"id":"https://openalex.org/W4404955095","doi":"https://doi.org/10.1109/vlsi-soc62099.2024.10767810","title":"OSHDA: A Containerized CAD Tool for the Design and Analysis of Behavioral FSM Logic Locking","display_name":"OSHDA: A Containerized CAD Tool for the Design and Analysis of Behavioral FSM Logic Locking","publication_year":2024,"publication_date":"2024-10-06","ids":{"openalex":"https://openalex.org/W4404955095","doi":"https://doi.org/10.1109/vlsi-soc62099.2024.10767810"},"language":"en","primary_location":{"id":"doi:10.1109/vlsi-soc62099.2024.10767810","is_oa":false,"landing_page_url":"https://doi.org/10.1109/vlsi-soc62099.2024.10767810","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IFIP/IEEE 32nd International Conference on Very Large Scale Integration (VLSI-SoC)","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/A5070052529","display_name":"Esrat Khan","orcid":"https://orcid.org/0009-0009-9543-5915"},"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":true,"raw_author_name":"Esrat Khan","raw_affiliation_strings":["Center for Secure Cyber-Physical Systems, Khalifa University,Abu Dhabi,United Arab Emirates"],"affiliations":[{"raw_affiliation_string":"Center for Secure Cyber-Physical Systems, Khalifa University,Abu Dhabi,United Arab Emirates","institution_ids":["https://openalex.org/I176601375"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011552148","display_name":"Shahzad Muzaffar","orcid":null},"institutions":[{"id":"https://openalex.org/I196972281","display_name":"Imec the Netherlands","ror":"https://ror.org/01ezq2j76","country_code":"NL","type":"facility","lineage":["https://openalex.org/I196972281"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Shahzad Muzaffar","raw_affiliation_strings":["IMEC,Eindhoven,The Netherlands"],"affiliations":[{"raw_affiliation_string":"IMEC,Eindhoven,The Netherlands","institution_ids":["https://openalex.org/I196972281"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006341152","display_name":"Lamees M. Al Qassem","orcid":"https://orcid.org/0000-0003-0823-949X"},"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":"Lamees M. Al Qassem","raw_affiliation_strings":["Center for Secure Cyber-Physical Systems, Khalifa University,Abu Dhabi,United Arab Emirates"],"affiliations":[{"raw_affiliation_string":"Center for Secure Cyber-Physical Systems, Khalifa University,Abu Dhabi,United Arab Emirates","institution_ids":["https://openalex.org/I176601375"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5048725993","display_name":"Ibrahim M. Elfadel","orcid":"https://orcid.org/0000-0003-3220-9987"},"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":"Ibrahim M. Elfadel","raw_affiliation_strings":["Center for Secure Cyber-Physical Systems, Khalifa University,Abu Dhabi,United Arab Emirates"],"affiliations":[{"raw_affiliation_string":"Center for Secure Cyber-Physical Systems, Khalifa University,Abu Dhabi,United Arab Emirates","institution_ids":["https://openalex.org/I176601375"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5070052529"],"corresponding_institution_ids":["https://openalex.org/I176601375"],"apc_list":null,"apc_paid":null,"fwci":0.5198,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.67432657,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":97,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"6"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9911999702453613,"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9911999702453613,"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/T10472","display_name":"Semiconductor materials and devices","score":0.9653000235557556,"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/T10558","display_name":"Advancements in Semiconductor Devices and Circuit Design","score":0.9639999866485596,"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.5485655665397644},{"id":"https://openalex.org/keywords/cad","display_name":"CAD","score":0.5293543934822083},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.2044665813446045},{"id":"https://openalex.org/keywords/engineering-drawing","display_name":"Engineering drawing","score":0.1297159194946289}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5485655665397644},{"id":"https://openalex.org/C194789388","wikidata":"https://www.wikidata.org/wiki/Q17855283","display_name":"CAD","level":2,"score":0.5293543934822083},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2044665813446045},{"id":"https://openalex.org/C199639397","wikidata":"https://www.wikidata.org/wiki/Q1788588","display_name":"Engineering drawing","level":1,"score":0.1297159194946289}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/vlsi-soc62099.2024.10767810","is_oa":false,"landing_page_url":"https://doi.org/10.1109/vlsi-soc62099.2024.10767810","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IFIP/IEEE 32nd International Conference on Very Large Scale Integration (VLSI-SoC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W2135211381","https://openalex.org/W2608668000","https://openalex.org/W3024750687","https://openalex.org/W3092370864","https://openalex.org/W3114160048","https://openalex.org/W3176336444","https://openalex.org/W3194507609","https://openalex.org/W4206010938","https://openalex.org/W4285108972","https://openalex.org/W4292694637","https://openalex.org/W4308654622","https://openalex.org/W4328007178"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2334610590","https://openalex.org/W2320366403","https://openalex.org/W3204197061","https://openalex.org/W4251350712","https://openalex.org/W637098845","https://openalex.org/W2410116073","https://openalex.org/W2390279801"],"abstract_inverted_index":{"This":[0],"paper":[1,113],"introduces":[2],"the":[3,13,21,31,42,47,51,67,70,79,82,97,103,170],"Open-source":[4],"Secure":[5],"Hardware":[6],"Design":[7],"and":[8,56,90,108,124,155],"Analysis":[9],"(OSHDA)":[10],"toolchain":[11,71],"for":[12,87,148],"logic":[14,75],"locking":[15],"of":[16,46,53,81,99,105],"finite-state":[17],"machines":[18],"(FSMs)":[19],"at":[20],"behavioral":[22,43,129],"level.":[23],"OSHDA's":[24],"FSM":[25],"obfuscation":[26],"method":[27],"is":[28,162],"based":[29],"on":[30,118],"recently":[32],"developed":[33],"State":[34],"Permutation":[35],"Logic":[36],"Locking":[37],"(SPeLL)":[38],"algorithm":[39],"which":[40],"obfuscates":[41],"transition":[44],"graph":[45],"FSM,":[48],"thus":[49],"avoiding":[50],"use":[52],"dummy":[54],"states":[55],"reducing":[57],"exposure":[58],"to":[59,65],"reverse":[60],"engineering":[61],"attacks.":[62],"In":[63,93],"addition":[64],"implementing":[66],"SPeLL":[68,84,106,119],"algorithm,":[69],"implements":[72],"a":[73,165],"full":[74],"synthesis":[76],"flow,":[77],"including":[78],"evaluation":[80],"gate-level":[83],"hardware":[85,110,166],"overhead":[86],"both":[88],"FPGA":[89],"ASIC":[91],"designs.":[92],"particular,":[94],"OSHDA":[95,141,161],"enables":[96],"automation":[98],"trade-off":[100],"analysis":[101],"between":[102],"strength":[104],"security":[107,167],"its":[109,144,150],"overhead.":[111],"The":[112],"further":[114],"describes":[115],"attempted":[116],"attacks":[117],"using":[120,169],"state-of-the-art":[121],"de-obfuscation":[122,130,153],"tools":[123],"identifies":[125],"research":[126],"gaps":[127],"in":[128],"that":[131],"must":[132],"be":[133],"addressed":[134],"before":[135],"one":[136],"can":[137],"successfully":[138],"de-obfuscate":[139],"SPeLL.":[140],"comes":[142],"with":[143],"own":[145],"scripting":[146],"subsystem":[147],"augmenting":[149],"analysis,":[151],"adding":[152],"methods,":[154],"integrating":[156],"physical":[157],"design":[158],"tools.":[159],"Finally,":[160],"deployed":[163],"as":[164],"microservice":[168],"Docker":[171],"framework.":[172]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2025-12-21T01:58:51.020947","created_date":"2025-10-10T00:00:00"}