{"id":"https://openalex.org/W4414245569","doi":"https://doi.org/10.1145/3768154","title":"Boosting Cryptographic ICs\u2019 Side-Channel Resistance: A Formal Framework for Automatic Identification and Protection of Leaky Paths","display_name":"Boosting Cryptographic ICs\u2019 Side-Channel Resistance: A Formal Framework for Automatic Identification and Protection of Leaky Paths","publication_year":2025,"publication_date":"2025-09-16","ids":{"openalex":"https://openalex.org/W4414245569","doi":"https://doi.org/10.1145/3768154"},"language":"en","primary_location":{"id":"doi:10.1145/3768154","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3768154","pdf_url":null,"source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Embedded Computing 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/A5051571527","display_name":"Qizhi Zhang","orcid":"https://orcid.org/0000-0002-9111-119X"},"institutions":[{"id":"https://openalex.org/I162868743","display_name":"Tianjin University","ror":"https://ror.org/012tb2g32","country_code":"CN","type":"education","lineage":["https://openalex.org/I162868743"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qizhi Zhang","raw_affiliation_strings":["Tianjin University"],"raw_orcid":"https://orcid.org/0000-0002-9111-119X","affiliations":[{"raw_affiliation_string":"Tianjin University","institution_ids":["https://openalex.org/I162868743"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070203921","display_name":"Ya Gao","orcid":"https://orcid.org/0000-0002-4505-7495"},"institutions":[{"id":"https://openalex.org/I162868743","display_name":"Tianjin University","ror":"https://ror.org/012tb2g32","country_code":"CN","type":"education","lineage":["https://openalex.org/I162868743"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ya Gao","raw_affiliation_strings":["Tianjin University"],"raw_orcid":"https://orcid.org/0000-0002-4505-7495","affiliations":[{"raw_affiliation_string":"Tianjin University","institution_ids":["https://openalex.org/I162868743"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060297615","display_name":"Haocheng Ma","orcid":"https://orcid.org/0000-0002-7118-9379"},"institutions":[{"id":"https://openalex.org/I162868743","display_name":"Tianjin University","ror":"https://ror.org/012tb2g32","country_code":"CN","type":"education","lineage":["https://openalex.org/I162868743"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Haocheng Ma","raw_affiliation_strings":["Tianjin University"],"raw_orcid":"https://orcid.org/0000-0002-7118-9379","affiliations":[{"raw_affiliation_string":"Tianjin University","institution_ids":["https://openalex.org/I162868743"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012948983","display_name":"Jiaji He","orcid":"https://orcid.org/0000-0003-1443-9279"},"institutions":[{"id":"https://openalex.org/I162868743","display_name":"Tianjin University","ror":"https://ror.org/012tb2g32","country_code":"CN","type":"education","lineage":["https://openalex.org/I162868743"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jiaji He","raw_affiliation_strings":["Tianjin University"],"raw_orcid":"https://orcid.org/0000-0003-1443-9279","affiliations":[{"raw_affiliation_string":"Tianjin University","institution_ids":["https://openalex.org/I162868743"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110546970","display_name":"Yiqiang Zhao","orcid":"https://orcid.org/0000-0001-9387-8813"},"institutions":[{"id":"https://openalex.org/I162868743","display_name":"Tianjin University","ror":"https://ror.org/012tb2g32","country_code":"CN","type":"education","lineage":["https://openalex.org/I162868743"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yiqiang Zhao","raw_affiliation_strings":["Tianjin University"],"raw_orcid":"https://orcid.org/0000-0001-9387-8813","affiliations":[{"raw_affiliation_string":"Tianjin University","institution_ids":["https://openalex.org/I162868743"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5011794280","display_name":"Xiaolong Guo","orcid":"https://orcid.org/0000-0001-9896-9407"},"institutions":[{"id":"https://openalex.org/I189590672","display_name":"Kansas State University","ror":"https://ror.org/05p1j8758","country_code":"US","type":"education","lineage":["https://openalex.org/I189590672"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xiaolong Guo","raw_affiliation_strings":["Kansas State University"],"raw_orcid":"https://orcid.org/0000-0001-9896-9407","affiliations":[{"raw_affiliation_string":"Kansas State University","institution_ids":["https://openalex.org/I189590672"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.24052718,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"24","issue":"6","first_page":"1","last_page":"25"},"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/T10951","display_name":"Cryptographic Implementations and Security","score":0.9998000264167786,"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/T11424","display_name":"Security and Verification in Computing","score":0.9987000226974487,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/boosting","display_name":"Boosting (machine learning)","score":0.5979999899864197},{"id":"https://openalex.org/keywords/information-leakage","display_name":"Information leakage","score":0.5738000273704529},{"id":"https://openalex.org/keywords/leakage","display_name":"Leakage (economics)","score":0.5699999928474426},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.5085999965667725},{"id":"https://openalex.org/keywords/side-channel-attack","display_name":"Side channel attack","score":0.45489999651908875},{"id":"https://openalex.org/keywords/encryption","display_name":"Encryption","score":0.4458000063896179},{"id":"https://openalex.org/keywords/electronic-circuit","display_name":"Electronic circuit","score":0.390500009059906},{"id":"https://openalex.org/keywords/field-programmable-gate-array","display_name":"Field-programmable gate array","score":0.3734000027179718},{"id":"https://openalex.org/keywords/integrated-circuit","display_name":"Integrated circuit","score":0.3686000108718872}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7297000288963318},{"id":"https://openalex.org/C46686674","wikidata":"https://www.wikidata.org/wiki/Q466303","display_name":"Boosting (machine learning)","level":2,"score":0.5979999899864197},{"id":"https://openalex.org/C2779201187","wikidata":"https://www.wikidata.org/wiki/Q2775060","display_name":"Information leakage","level":2,"score":0.5738000273704529},{"id":"https://openalex.org/C2777042071","wikidata":"https://www.wikidata.org/wiki/Q6509304","display_name":"Leakage (economics)","level":2,"score":0.5699999928474426},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.5085999965667725},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4659999907016754},{"id":"https://openalex.org/C49289754","wikidata":"https://www.wikidata.org/wiki/Q2267081","display_name":"Side channel attack","level":3,"score":0.45489999651908875},{"id":"https://openalex.org/C148730421","wikidata":"https://www.wikidata.org/wiki/Q141090","display_name":"Encryption","level":2,"score":0.4458000063896179},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.41839998960494995},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.390500009059906},{"id":"https://openalex.org/C42935608","wikidata":"https://www.wikidata.org/wiki/Q190411","display_name":"Field-programmable gate array","level":2,"score":0.3734000027179718},{"id":"https://openalex.org/C530198007","wikidata":"https://www.wikidata.org/wiki/Q80831","display_name":"Integrated circuit","level":2,"score":0.3686000108718872},{"id":"https://openalex.org/C15927051","wikidata":"https://www.wikidata.org/wiki/Q246593","display_name":"Cryptographic primitive","level":4,"score":0.3564000129699707},{"id":"https://openalex.org/C131017901","wikidata":"https://www.wikidata.org/wiki/Q170451","display_name":"Logic gate","level":2,"score":0.353300005197525},{"id":"https://openalex.org/C74524168","wikidata":"https://www.wikidata.org/wiki/Q1074539","display_name":"Integrated circuit design","level":2,"score":0.33629998564720154},{"id":"https://openalex.org/C116834253","wikidata":"https://www.wikidata.org/wiki/Q2039217","display_name":"Identification (biology)","level":2,"score":0.3312000036239624},{"id":"https://openalex.org/C165005293","wikidata":"https://www.wikidata.org/wiki/Q1074500","display_name":"Chip","level":2,"score":0.32420000433921814},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.30959999561309814},{"id":"https://openalex.org/C157922185","wikidata":"https://www.wikidata.org/wiki/Q173198","display_name":"Logic synthesis","level":3,"score":0.302700012922287},{"id":"https://openalex.org/C187075797","wikidata":"https://www.wikidata.org/wiki/Q173245","display_name":"Sequential logic","level":3,"score":0.3021000027656555},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.2937999963760376},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.28839999437332153},{"id":"https://openalex.org/C81409106","wikidata":"https://www.wikidata.org/wiki/Q76505","display_name":"Combinational logic","level":3,"score":0.2732999920845032},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2540999948978424},{"id":"https://openalex.org/C2777052490","wikidata":"https://www.wikidata.org/wiki/Q5072826","display_name":"Chaotic","level":2,"score":0.2540999948978424},{"id":"https://openalex.org/C152124472","wikidata":"https://www.wikidata.org/wiki/Q1204361","display_name":"Redundancy (engineering)","level":2,"score":0.25189998745918274}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3768154","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3768154","pdf_url":null,"source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Embedded Computing Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G6875635542","display_name":null,"funder_award_id":"2023YFB4403000","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"}],"funders":[{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W1541098965","https://openalex.org/W2068382945","https://openalex.org/W2103175743","https://openalex.org/W2112073852","https://openalex.org/W2130371018","https://openalex.org/W2131129639","https://openalex.org/W2154909745","https://openalex.org/W2322411027","https://openalex.org/W2803664313","https://openalex.org/W2888014022","https://openalex.org/W2902086429","https://openalex.org/W2946251796","https://openalex.org/W2949413500","https://openalex.org/W2964145717","https://openalex.org/W2982381884","https://openalex.org/W3028559075","https://openalex.org/W3032645156","https://openalex.org/W3046858861","https://openalex.org/W3114373476","https://openalex.org/W3115684912","https://openalex.org/W3173700271","https://openalex.org/W4212977167","https://openalex.org/W4213079971","https://openalex.org/W4229773809","https://openalex.org/W4250102534","https://openalex.org/W4293025832","https://openalex.org/W4313430857","https://openalex.org/W4408183178","https://openalex.org/W4412082319","https://openalex.org/W4412233696"],"related_works":[],"abstract_inverted_index":{"Side-channel":[0],"analysis":[1],"(SCA)":[2],"attacks":[3],"pose":[4],"a":[5,44,96,241],"significant":[6],"threat":[7],"to":[8,17,55,67,106,158,195],"cryptographic":[9],"integrated":[10],"circuits":[11,211],"(ICs).":[12],"While":[13],"designers":[14,66],"have":[15],"endeavored":[16],"introduce":[18,95],"various":[19],"countermeasures":[20],"during":[21],"the":[22,56,70,76,84,123,155,213],"IC":[23],"development":[24],"phase,":[25],"many":[26],"of":[27,35,58,72,86,215,234,244],"these":[28,142,180,200],"solutions":[29],"incur":[30],"substantial":[31],"overheads":[32],"in":[33,237],"terms":[34],"area,":[36,250],"power,":[37,249],"and":[38,61,109,152,160,172,192,212,223,251],"performance.":[39],"Additionally,":[40],"they":[41],"often":[42],"necessitate":[43],"full-custom":[45],"circuit":[46,65],"design":[47,104],"for":[48,64,154],"effective":[49],"deployment.":[50],"This":[51,202],"issue":[52],"arises":[53],"due":[54],"absence":[57],"systematic":[59],"methodologies":[60],"analytical":[62],"tools":[63],"accurately":[68],"identify":[69,108],"sources":[71],"side-channel":[73,87,147,162,238],"leakage":[74,126,133,163,173,198],"within":[75],"hardware":[77,187],"design.":[78],"In":[79,144],"this":[80,93,145],"article,":[81],"we":[82,184],"propose":[83],"concept":[85],"tracking":[88,148],"logic":[89,119,149],"and,":[90],"building":[91],"upon":[92],"foundation,":[94],"novel":[97],"framework":[98,203],"that":[99,121],"seamlessly":[100],"integrates":[101],"with":[102],"commercial":[103],"flows":[105],"automatically":[107],"safeguard":[110],"leaky":[111,138],"paths.":[112,164],"Our":[113],"approach":[114],"begins":[115],"by":[116],"pinpointing":[117],"partial":[118],"cells":[120],"exhibit":[122],"highest":[124],"information":[125,197],"using":[127],"dynamic":[128],"correlation":[129],"analysis.":[130],"Subsequently,":[131],"formal-based":[132],"property":[134,174],"checking":[135],"constructs":[136],"comprehensive":[137],"paths":[139,181],"centered":[140],"on":[141,166,226],"cells.":[143],"process,":[146],"was":[150,177],"proposed":[151],"applied":[153],"first":[156],"time":[157],"trace":[159],"extract":[161],"Based":[165],"this,":[167],"an":[168,232],"automated":[169],"formal":[170],"modeling":[171],"verification":[175],"tool":[176],"designed.":[178],"Once":[179],"are":[182],"discerned,":[183],"deploy":[185],"apt":[186],"countermeasures,":[188],"encompassing":[189],"Boolean":[190],"masking":[191],"random":[193],"precharge,":[194],"eradicate":[196],"along":[199],"routes.":[201],"has":[204],"been":[205],"experimentally":[206],"validated":[207],"across":[208,248],"different":[209],"encryption":[210],"efficacy":[214],"our":[216],"methodology":[217],"is":[218],"corroborated":[219],"through":[220],"both":[221],"simulated":[222],"real-world":[224],"measurements":[225],"FPGA":[227],"implementations.":[228],"Empirical":[229],"results":[230],"showcase":[231],"enhancement":[233],"over":[235],"1000\u00d7":[236],"resistance,":[239],"incurring":[240],"modest":[242],"overhead":[243],"less":[245],"than":[246],"6.53%":[247],"performance":[252],"metrics.":[253]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}