{"id":"https://openalex.org/W3024750687","doi":"https://doi.org/10.1109/tcad.2020.2994259","title":"Synthesis of Hidden State Transitions for Sequential Logic Locking","display_name":"Synthesis of Hidden State Transitions for Sequential Logic Locking","publication_year":2020,"publication_date":"2020-05-12","ids":{"openalex":"https://openalex.org/W3024750687","doi":"https://doi.org/10.1109/tcad.2020.2994259","mag":"3024750687"},"language":"en","primary_location":{"id":"doi:10.1109/tcad.2020.2994259","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2020.2994259","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/A5086590030","display_name":"Kyle Juretus","orcid":"https://orcid.org/0000-0001-6588-4167"},"institutions":[{"id":"https://openalex.org/I72816309","display_name":"Drexel University","ror":"https://ror.org/04bdffz58","country_code":"US","type":"education","lineage":["https://openalex.org/I72816309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kyle Juretus","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Drexel University, Philadelphia, PA, USA"],"raw_orcid":"https://orcid.org/0000-0001-6588-4167","affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Drexel University, Philadelphia, PA, USA","institution_ids":["https://openalex.org/I72816309"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5059641297","display_name":"Ioannis Savidis","orcid":"https://orcid.org/0000-0003-4230-1795"},"institutions":[{"id":"https://openalex.org/I72816309","display_name":"Drexel University","ror":"https://ror.org/04bdffz58","country_code":"US","type":"education","lineage":["https://openalex.org/I72816309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ioannis Savidis","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Drexel University, Philadelphia, PA, USA"],"raw_orcid":"https://orcid.org/0000-0003-4230-1795","affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Drexel University, Philadelphia, PA, USA","institution_ids":["https://openalex.org/I72816309"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I72816309"],"apc_list":null,"apc_paid":null,"fwci":2.0269,"has_fulltext":false,"cited_by_count":18,"citation_normalized_percentile":{"value":0.86109633,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":"40","issue":"1","first_page":"11","last_page":"23"},"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.9944000244140625,"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.9621000289916992,"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/sequential-logic","display_name":"Sequential logic","score":0.6528161764144897},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5759590864181519},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.5667631030082703},{"id":"https://openalex.org/keywords/oracle","display_name":"Oracle","score":0.5541903376579285},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5282437205314636},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.5280759334564209},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.5179516077041626},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.43267637491226196},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.39755257964134216},{"id":"https://openalex.org/keywords/logic-gate","display_name":"Logic gate","score":0.38731709122657776},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.34764373302459717},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.12874320149421692}],"concepts":[{"id":"https://openalex.org/C187075797","wikidata":"https://www.wikidata.org/wiki/Q173245","display_name":"Sequential logic","level":3,"score":0.6528161764144897},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5759590864181519},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.5667631030082703},{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.5541903376579285},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5282437205314636},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.5280759334564209},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.5179516077041626},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.43267637491226196},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.39755257964134216},{"id":"https://openalex.org/C131017901","wikidata":"https://www.wikidata.org/wiki/Q170451","display_name":"Logic gate","level":2,"score":0.38731709122657776},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.34764373302459717},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.12874320149421692},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tcad.2020.2994259","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2020.2994259","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":[],"awards":[{"id":"https://openalex.org/G1777508455","display_name":"CAREER: Parameter Obfuscation: A Novel Methodology for the Protection of Analog Intellectual Property","funder_award_id":"1751032","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5062445602","display_name":null,"funder_award_id":"FA8075-14-D0025/DSTAT15-1196","funder_id":"https://openalex.org/F4320338294","funder_display_name":"Air Force Research Laboratory"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320338279","display_name":"Air Force Office of Scientific Research","ror":"https://ror.org/011e9bt93"},{"id":"https://openalex.org/F4320338294","display_name":"Air Force Research Laboratory","ror":"https://ror.org/02e2egq70"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":41,"referenced_works":["https://openalex.org/W1524250393","https://openalex.org/W2008819052","https://openalex.org/W2012725064","https://openalex.org/W2036265926","https://openalex.org/W2042778609","https://openalex.org/W2085992264","https://openalex.org/W2088898213","https://openalex.org/W2091656296","https://openalex.org/W2106409910","https://openalex.org/W2106722176","https://openalex.org/W2118382442","https://openalex.org/W2124954128","https://openalex.org/W2135211381","https://openalex.org/W2161998562","https://openalex.org/W2166512883","https://openalex.org/W2293426816","https://openalex.org/W2378876119","https://openalex.org/W2419784917","https://openalex.org/W2499445168","https://openalex.org/W2511761056","https://openalex.org/W2536656707","https://openalex.org/W2608668000","https://openalex.org/W2615060729","https://openalex.org/W2708742051","https://openalex.org/W2747980214","https://openalex.org/W2752013983","https://openalex.org/W2757400610","https://openalex.org/W2766393343","https://openalex.org/W2771405182","https://openalex.org/W2800086831","https://openalex.org/W2903107655","https://openalex.org/W2920234098","https://openalex.org/W2946592689","https://openalex.org/W2949731107","https://openalex.org/W2956000546","https://openalex.org/W3106433382","https://openalex.org/W3144121041","https://openalex.org/W4254690223","https://openalex.org/W6675797392","https://openalex.org/W6724703443","https://openalex.org/W6756783469"],"related_works":["https://openalex.org/W2535130387","https://openalex.org/W2205347728","https://openalex.org/W2188166871","https://openalex.org/W1531819087","https://openalex.org/W2045651232","https://openalex.org/W2017650358","https://openalex.org/W3013757523","https://openalex.org/W2096532933","https://openalex.org/W2141941412","https://openalex.org/W2783755876"],"abstract_inverted_index":{"Oracle":[0],"guided":[1,34],"attacks,":[2],"such":[3],"as":[4],"the":[5,38,41,45,48,58,61,65,74,107,115,125,165,172,179,191],"satisfiability":[6],"attack,":[7],"are":[8,28,102],"a":[9,81,141],"significant":[10],"concern":[11],"when":[12],"obfuscating":[13],"an":[14,71,90,93,119,148],"integrated":[15],"circuit":[16],"(IC).":[17],"Partitioned":[18],"finite":[19],"state":[20,42,63,86],"machine":[21],"(FSM)":[22],"based":[23],"sequential":[24,77,167],"logic":[25,78,99,137,173],"locking":[26],"techniques":[27],"much":[29],"more":[30],"resilient":[31],"to":[32,37,54,83,104,127,132],"oracle":[33,46],"attacks":[35,56],"due":[36],"differences":[39],"in":[40,147,153,156,160,182,204],"space":[43],"between":[44,64],"and":[47,57,67,98,123,136,158,184,197],"IC":[49,94],"under":[50],"attack.":[51],"However,":[52],"susceptibility":[53,126],"structural":[55,128],"extraction":[59],"of":[60,70,76,109,117,151,164,193],"transition":[62],"obfuscated":[66],"functional":[68],"modes":[69],"FSM":[72,91],"threaten":[73],"efficacy":[75],"locking.":[79],"Therefore,":[80],"methodology":[82],"synthesize":[84],"hidden":[85,134],"transitions":[87,135],"(HSTs)":[88],"into":[89,140],"within":[92],"is":[95,143,188,195],"developed.":[96],"HSTs":[97],"cone":[100,138,174],"modifications":[101,139],"utilized":[103],"further":[105],"enhance":[106],"security":[108],"sequentially":[110],"locked":[111],"circuits":[112],"by":[113],"increasing":[114],"number":[116],"paths":[118],"adversary":[120],"must":[121],"search":[122],"reducing":[124],"attacks.":[129],"An":[130],"algorithm":[131],"insert":[133],"netlist":[142],"developed":[144],"that":[145],"results":[146],"average":[149,180],"overhead":[150,203],"6.79%":[152],"area,":[154],"7.78%":[155],"power,":[157,185],"8.28%":[159],"performance":[161],"across":[162],"all":[163],"ISCAS'89":[166],"benchmark":[168],"circuits.":[169],"To":[170],"modify":[171],"with":[175,200],"two":[176],"altered":[177],"minterms,":[178],"increase":[181],"area":[183],"beyond":[186],"what":[187],"needed":[189],"for":[190],"implementation":[192],"HSTs,":[194],"26.46%":[196],"30.30%,":[198],"respectively,":[199],"no":[201],"additional":[202],"performance.":[205]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2024,"cited_by_count":6},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":4}],"updated_date":"2026-08-06T08:24:18.245995","created_date":"2025-10-10T00:00:00"}