{"id":"https://openalex.org/W4414149293","doi":"https://doi.org/10.1145/3765906","title":"SHIFT: Selective Hardware Information Flow Tracking Driven by Deterministic Constraints","display_name":"SHIFT: Selective Hardware Information Flow Tracking Driven by Deterministic Constraints","publication_year":2025,"publication_date":"2025-09-05","ids":{"openalex":"https://openalex.org/W4414149293","doi":"https://doi.org/10.1145/3765906"},"language":"en","primary_location":{"id":"doi:10.1145/3765906","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3765906","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3765906","source":{"id":"https://openalex.org/S96198239","display_name":"ACM Journal on Emerging Technologies in Computing Systems","issn_l":"1550-4832","issn":["1550-4832","1550-4840"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Journal on Emerging Technologies in Computing Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3765906","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5109254286","display_name":"Haodong Sun","orcid":"https://orcid.org/0009-0006-1167-8564"},"institutions":[{"id":"https://openalex.org/I169689159","display_name":"PLA Information Engineering University","ror":"https://ror.org/00mm1qk40","country_code":"CN","type":"education","lineage":["https://openalex.org/I169689159"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Haodong Sun","raw_affiliation_strings":["PLA Information Engineering University, Zhengzhou, China","PLA Information Engineering University, China"],"raw_orcid":"https://orcid.org/0009-0006-1167-8564","affiliations":[{"raw_affiliation_string":"PLA Information Engineering University, Zhengzhou, China","institution_ids":["https://openalex.org/I169689159"]},{"raw_affiliation_string":"PLA Information Engineering University, China","institution_ids":["https://openalex.org/I169689159"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028563006","display_name":"Zhi Yang","orcid":"https://orcid.org/0000-0001-6890-6077"},"institutions":[{"id":"https://openalex.org/I169689159","display_name":"PLA Information Engineering University","ror":"https://ror.org/00mm1qk40","country_code":"CN","type":"education","lineage":["https://openalex.org/I169689159"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhi Yang","raw_affiliation_strings":["PLA Information Engineering University, Zhengzhou, China","PLA Information Engineering University, China"],"raw_orcid":"https://orcid.org/0000-0001-6890-6077","affiliations":[{"raw_affiliation_string":"PLA Information Engineering University, Zhengzhou, China","institution_ids":["https://openalex.org/I169689159"]},{"raw_affiliation_string":"PLA Information Engineering University, China","institution_ids":["https://openalex.org/I169689159"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020529014","display_name":"Shuyuan Jin","orcid":"https://orcid.org/0000-0003-2087-2853"},"institutions":[{"id":"https://openalex.org/I157773358","display_name":"Sun Yat-sen University","ror":"https://ror.org/0064kty71","country_code":"CN","type":"education","lineage":["https://openalex.org/I157773358"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shuyuan Jin","raw_affiliation_strings":["Sun Yat-sen University, Guangzhou, China","Sun Yat-sen University, China"],"raw_orcid":"https://orcid.org/0000-0003-2087-2853","affiliations":[{"raw_affiliation_string":"Sun Yat-sen University, Guangzhou, China","institution_ids":["https://openalex.org/I157773358"]},{"raw_affiliation_string":"Sun Yat-sen University, China","institution_ids":["https://openalex.org/I157773358"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5091868595","display_name":"Z. Zhang","orcid":null},"institutions":[{"id":"https://openalex.org/I169689159","display_name":"PLA Information Engineering University","ror":"https://ror.org/00mm1qk40","country_code":"CN","type":"education","lineage":["https://openalex.org/I169689159"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhenlong Zhang","raw_affiliation_strings":["PLA Information Engineering University, Zhengzhou, China","PLA Information Engineering University, China"],"raw_orcid":"https://orcid.org/0009-0004-7339-7245","affiliations":[{"raw_affiliation_string":"PLA Information Engineering University, Zhengzhou, China","institution_ids":["https://openalex.org/I169689159"]},{"raw_affiliation_string":"PLA Information Engineering University, China","institution_ids":["https://openalex.org/I169689159"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5109254286"],"corresponding_institution_ids":["https://openalex.org/I169689159"],"apc_list":null,"apc_paid":null,"fwci":1.9057,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.8923876,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"21","issue":"4","first_page":"1","last_page":"16"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11424","display_name":"Security and Verification in Computing","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10502","display_name":"Advanced Memory and Neural Computing","score":0.9919000267982483,"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.9837999939918518,"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/overhead","display_name":"Overhead (engineering)","score":0.6510999798774719},{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.612500011920929},{"id":"https://openalex.org/keywords/instrumentation","display_name":"Instrumentation (computer programming)","score":0.6080999970436096},{"id":"https://openalex.org/keywords/logic-gate","display_name":"Logic gate","score":0.3889999985694885},{"id":"https://openalex.org/keywords/tracking","display_name":"Tracking (education)","score":0.38199999928474426},{"id":"https://openalex.org/keywords/data-flow-diagram","display_name":"Data flow diagram","score":0.36800000071525574},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.35510000586509705},{"id":"https://openalex.org/keywords/and-gate","display_name":"AND gate","score":0.3379000127315521}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7143999934196472},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.6510999798774719},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.612500011920929},{"id":"https://openalex.org/C118530786","wikidata":"https://www.wikidata.org/wiki/Q1134732","display_name":"Instrumentation (computer programming)","level":2,"score":0.6080999970436096},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.5688999891281128},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.49000000953674316},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.41200000047683716},{"id":"https://openalex.org/C131017901","wikidata":"https://www.wikidata.org/wiki/Q170451","display_name":"Logic gate","level":2,"score":0.3889999985694885},{"id":"https://openalex.org/C2775936607","wikidata":"https://www.wikidata.org/wiki/Q466845","display_name":"Tracking (education)","level":2,"score":0.38199999928474426},{"id":"https://openalex.org/C489000","wikidata":"https://www.wikidata.org/wiki/Q747385","display_name":"Data flow diagram","level":2,"score":0.36800000071525574},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.35510000586509705},{"id":"https://openalex.org/C10418432","wikidata":"https://www.wikidata.org/wiki/Q560370","display_name":"AND gate","level":3,"score":0.3379000127315521},{"id":"https://openalex.org/C38349280","wikidata":"https://www.wikidata.org/wiki/Q1434290","display_name":"Flow (mathematics)","level":2,"score":0.3091000020503998},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.30820000171661377},{"id":"https://openalex.org/C2779136372","wikidata":"https://www.wikidata.org/wiki/Q10283002","display_name":"Information flow","level":2,"score":0.3068999946117401},{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.3066999912261963},{"id":"https://openalex.org/C138673069","wikidata":"https://www.wikidata.org/wiki/Q322229","display_name":"Tracing","level":2,"score":0.30059999227523804},{"id":"https://openalex.org/C157922185","wikidata":"https://www.wikidata.org/wiki/Q173198","display_name":"Logic synthesis","level":3,"score":0.29679998755455017},{"id":"https://openalex.org/C137836250","wikidata":"https://www.wikidata.org/wiki/Q984063","display_name":"Optimization problem","level":2,"score":0.28949999809265137},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.2822999954223633},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.2809000015258789},{"id":"https://openalex.org/C187075797","wikidata":"https://www.wikidata.org/wiki/Q173245","display_name":"Sequential logic","level":3,"score":0.27140000462532043},{"id":"https://openalex.org/C37135326","wikidata":"https://www.wikidata.org/wiki/Q931942","display_name":"Design flow","level":2,"score":0.2709999978542328},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.25769999623298645}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3765906","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3765906","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3765906","source":{"id":"https://openalex.org/S96198239","display_name":"ACM Journal on Emerging Technologies in Computing Systems","issn_l":"1550-4832","issn":["1550-4832","1550-4840"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Journal on Emerging Technologies in Computing Systems","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3765906","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3765906","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3765906","source":{"id":"https://openalex.org/S96198239","display_name":"ACM Journal on Emerging Technologies in Computing Systems","issn_l":"1550-4832","issn":["1550-4832","1550-4840"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Journal on Emerging Technologies in Computing Systems","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G582709614","display_name":null,"funder_award_id":"62472456","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6682270376","display_name":null,"funder_award_id":"62176265 and 62472456","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G904584391","display_name":null,"funder_award_id":"62176265","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4414149293.pdf","grobid_xml":"https://content.openalex.org/works/W4414149293.grobid-xml"},"referenced_works_count":22,"referenced_works":["https://openalex.org/W2016224355","https://openalex.org/W2068382945","https://openalex.org/W2094873755","https://openalex.org/W2131129639","https://openalex.org/W2145936802","https://openalex.org/W2150619336","https://openalex.org/W2512350220","https://openalex.org/W2535443135","https://openalex.org/W2554184925","https://openalex.org/W2794956809","https://openalex.org/W2988741748","https://openalex.org/W3006338454","https://openalex.org/W3029114445","https://openalex.org/W3033074846","https://openalex.org/W3036557299","https://openalex.org/W3128960600","https://openalex.org/W3159043981","https://openalex.org/W4247198503","https://openalex.org/W4252672524","https://openalex.org/W4388734634","https://openalex.org/W4390546884","https://openalex.org/W4403223203"],"related_works":["https://openalex.org/W2084086966","https://openalex.org/W2023861399","https://openalex.org/W2730915376","https://openalex.org/W2626306547","https://openalex.org/W2021396365","https://openalex.org/W2394134009","https://openalex.org/W2119515433","https://openalex.org/W2009561238","https://openalex.org/W1340065","https://openalex.org/W2764080676"],"abstract_inverted_index":{"Information":[0,69],"flow":[1,190],"tracking":[2,165],"technology":[3,15],"is":[4],"commonly":[5],"used":[6],"in":[7,105],"the":[8,17,52,94,98,106,130,139,146,150,153,160,164,170,178,184,189,200],"security":[9,185],"analysis":[10,112],"of":[11,21,80,85,90,97,145,163,172,188,202],"hardware":[12,45,99],"design.":[13],"This":[14,64],"protects":[16],"confidentiality":[18],"and":[19,50,87,121,176],"integrity":[20],"essential":[22],"assets":[23],"by":[24,57,167,174,181,194],"instrumenting":[25],"trace":[26,147,204],"logic":[27,117,148,205],"on":[28,126,149],"each":[29],"operation":[30],"unit":[31],"to":[32,114,138],"detect":[33],"whether":[34,116],"critical":[35],"information":[36],"has":[37,59],"been":[38],"leaked":[39],"or":[40],"tampered":[41],"with.":[42],"However,":[43],"as":[44],"design":[46],"becomes":[47],"increasingly":[48],"large-scale":[49],"complex,":[51],"significant":[53],"performance":[54],"overhead":[55,201],"introduced":[56],"instrumentation":[58,144],"become":[60],"a":[61,73,110],"major":[62],"challenge.":[63],"article":[65],"proposes":[66],"Selective":[67],"Hardware":[68],"Flow":[70],"Tracking":[71],"(SHIFT),":[72],"constraint-driven":[74],"optimization":[75,89,123,134],"technique.":[76],"The":[77],"core":[78],"idea":[79],"SHIFT":[81,101,158,198],"includes":[82],"selective":[83,88,143],"monitoring":[84,120],"operations":[86],"propagation":[91],"logic.":[92],"In":[93,152,196],"intermediate":[95],"representation":[96],"design,":[100],"scans":[102],"taint":[103],"sources":[104],"code":[107],"statically":[108],"using":[109],"conservative":[111],"algorithm":[113],"determine":[115],"structures":[118],"require":[119],"assigns":[122],"tags":[124,135],"based":[125],"known":[127],"conditions.":[128],"During":[129],"synthesis":[131],"process,":[132],"these":[133],"are":[136],"passed":[137],"netlist,":[140],"thereby":[141],"enabling":[142],"cell.":[151],"Trust-Hub":[154],"AES":[155],"test":[156],"bench,":[157],"reduces":[159,177,199],"deployment":[161],"time":[162,187],"model":[166,191],"12.1%,":[168],"decreases":[169],"number":[171],"cells":[173],"19.9%,":[175],"synthesized":[179],"area":[180],"35.7%,":[182],"Additionally,":[183],"verification":[186],"was":[192],"reduced":[193],"10.5%.":[195],"general,":[197],"deploying":[203],"without":[206],"introducing":[207],"false":[208],"positives.":[209]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}