{"id":"https://openalex.org/W4402568594","doi":"https://doi.org/10.1109/tcsi.2024.3456787","title":"An Automated Fault Attack Framework for Block Ciphers Through Property Mining and Verification","display_name":"An Automated Fault Attack Framework for Block Ciphers Through Property Mining and Verification","publication_year":2024,"publication_date":"2024-09-17","ids":{"openalex":"https://openalex.org/W4402568594","doi":"https://doi.org/10.1109/tcsi.2024.3456787"},"language":"en","primary_location":{"id":"doi:10.1109/tcsi.2024.3456787","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcsi.2024.3456787","pdf_url":null,"source":{"id":"https://openalex.org/S116977442","display_name":"IEEE Transactions on Circuits and Systems I Regular Papers","issn_l":"1549-8328","issn":["1549-8328","1558-0806"],"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 Circuits and Systems I: Regular Papers","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/A5053075337","display_name":"Xingxin Wang","orcid":null},"institutions":[{"id":"https://openalex.org/I17145004","display_name":"Northwestern Polytechnical University","ror":"https://ror.org/01y0j0j86","country_code":"CN","type":"education","lineage":["https://openalex.org/I17145004"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xingxin Wang","raw_affiliation_strings":["School of Cybersecurity, Northwestern Polytechnical University, Xi’an, China"],"raw_orcid":"https://orcid.org/0009-0000-4160-3017","affiliations":[{"raw_affiliation_string":"School of Cybersecurity, Northwestern Polytechnical University, Xi’an, China","institution_ids":["https://openalex.org/I17145004"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Wei Hu","orcid":"https://orcid.org/0000-0001-6738-4297"},"institutions":[{"id":"https://openalex.org/I17145004","display_name":"Northwestern Polytechnical University","ror":"https://ror.org/01y0j0j86","country_code":"CN","type":"education","lineage":["https://openalex.org/I17145004"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wei Hu","raw_affiliation_strings":["School of Cybersecurity, Northwestern Polytechnical University, Xi’an, China"],"raw_orcid":"https://orcid.org/0000-0001-6738-4297","affiliations":[{"raw_affiliation_string":"School of Cybersecurity, Northwestern Polytechnical University, Xi’an, China","institution_ids":["https://openalex.org/I17145004"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052841024","display_name":"Shibo Tang","orcid":null},"institutions":[{"id":"https://openalex.org/I17145004","display_name":"Northwestern Polytechnical University","ror":"https://ror.org/01y0j0j86","country_code":"CN","type":"education","lineage":["https://openalex.org/I17145004"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shibo Tang","raw_affiliation_strings":["School of Cybersecurity, Northwestern Polytechnical University, Xi’an, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Cybersecurity, Northwestern Polytechnical University, Xi’an, China","institution_ids":["https://openalex.org/I17145004"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5115592050","display_name":"Xinxin Wang","orcid":"https://orcid.org/0000-0003-2085-425X"},"institutions":[{"id":"https://openalex.org/I17145004","display_name":"Northwestern Polytechnical University","ror":"https://ror.org/01y0j0j86","country_code":"CN","type":"education","lineage":["https://openalex.org/I17145004"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xinxin Wang","raw_affiliation_strings":["School of Cybersecurity, Northwestern Polytechnical University, Xi’an, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Cybersecurity, Northwestern Polytechnical University, Xi’an, China","institution_ids":["https://openalex.org/I17145004"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5009199370","display_name":"Huisi Zhou","orcid":null},"institutions":[{"id":"https://openalex.org/I17145004","display_name":"Northwestern Polytechnical University","ror":"https://ror.org/01y0j0j86","country_code":"CN","type":"education","lineage":["https://openalex.org/I17145004"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Huisi Zhou","raw_affiliation_strings":["School of Cybersecurity, Northwestern Polytechnical University, Xi’an, China"],"raw_orcid":"https://orcid.org/0000-0001-9946-2691","affiliations":[{"raw_affiliation_string":"School of Cybersecurity, Northwestern Polytechnical University, Xi’an, China","institution_ids":["https://openalex.org/I17145004"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I17145004"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.15684863,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"72","issue":"1","first_page":"337","last_page":"350"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9897000193595886,"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"}},"topics":[{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9897000193595886,"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"}},{"id":"https://openalex.org/T10951","display_name":"Cryptographic Implementations and Security","score":0.9847999811172485,"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9793000221252441,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6426195502281189},{"id":"https://openalex.org/keywords/block-cipher","display_name":"Block cipher","score":0.6075713038444519},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.5849152207374573},{"id":"https://openalex.org/keywords/block","display_name":"Block (permutation group theory)","score":0.5358542203903198},{"id":"https://openalex.org/keywords/fault","display_name":"Fault (geology)","score":0.47778186202049255},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.4320603609085083},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.35864830017089844},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.2926415205001831},{"id":"https://openalex.org/keywords/geology","display_name":"Geology","score":0.14255449175834656},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.11115822196006775},{"id":"https://openalex.org/keywords/seismology","display_name":"Seismology","score":0.09325867891311646}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6426195502281189},{"id":"https://openalex.org/C106544461","wikidata":"https://www.wikidata.org/wiki/Q543151","display_name":"Block cipher","level":3,"score":0.6075713038444519},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.5849152207374573},{"id":"https://openalex.org/C2777210771","wikidata":"https://www.wikidata.org/wiki/Q4927124","display_name":"Block (permutation group theory)","level":2,"score":0.5358542203903198},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.47778186202049255},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.4320603609085083},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.35864830017089844},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.2926415205001831},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.14255449175834656},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.11115822196006775},{"id":"https://openalex.org/C165205528","wikidata":"https://www.wikidata.org/wiki/Q83371","display_name":"Seismology","level":1,"score":0.09325867891311646},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tcsi.2024.3456787","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcsi.2024.3456787","pdf_url":null,"source":{"id":"https://openalex.org/S116977442","display_name":"IEEE Transactions on Circuits and Systems I Regular Papers","issn_l":"1549-8328","issn":["1549-8328","1558-0806"],"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 Circuits and Systems I: Regular Papers","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Climate action","score":0.4300000071525574,"id":"https://metadata.un.org/sdg/13"}],"awards":[{"id":"https://openalex.org/G1718096283","display_name":null,"funder_award_id":"CX2024087","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G2055012333","display_name":null,"funder_award_id":"U23B2041","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G473269127","display_name":null,"funder_award_id":"62074131","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7160861369","display_name":null,"funder_award_id":"2021YFB3100901","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":44,"referenced_works":["https://openalex.org/W89002490","https://openalex.org/W1613874182","https://openalex.org/W1829732909","https://openalex.org/W2009271834","https://openalex.org/W2045536261","https://openalex.org/W2071722828","https://openalex.org/W2086354618","https://openalex.org/W2103215513","https://openalex.org/W2110941647","https://openalex.org/W2139750209","https://openalex.org/W2158893069","https://openalex.org/W2170489924","https://openalex.org/W2182718385","https://openalex.org/W2277945859","https://openalex.org/W2611887307","https://openalex.org/W2624902176","https://openalex.org/W2773254282","https://openalex.org/W2806480058","https://openalex.org/W2911936283","https://openalex.org/W2923466348","https://openalex.org/W2925302954","https://openalex.org/W2974242627","https://openalex.org/W2982698051","https://openalex.org/W3011642719","https://openalex.org/W3013075996","https://openalex.org/W3013309564","https://openalex.org/W3081566533","https://openalex.org/W3157704946","https://openalex.org/W3161124837","https://openalex.org/W4213031735","https://openalex.org/W4223504011","https://openalex.org/W4230984038","https://openalex.org/W4246462834","https://openalex.org/W4249503713","https://openalex.org/W4251236654","https://openalex.org/W4294325476","https://openalex.org/W4323320310","https://openalex.org/W4383503838","https://openalex.org/W4386763488","https://openalex.org/W4386920499","https://openalex.org/W4391182407","https://openalex.org/W6617964540","https://openalex.org/W6760982982","https://openalex.org/W6778195073"],"related_works":["https://openalex.org/W2949283829","https://openalex.org/W2372403409","https://openalex.org/W2190847501","https://openalex.org/W4242726756","https://openalex.org/W1539178658","https://openalex.org/W3030696647","https://openalex.org/W2582753012","https://openalex.org/W2793713134","https://openalex.org/W2592997279","https://openalex.org/W2101387633"],"abstract_inverted_index":{"Fault":[0],"attacks":[1,79],"are":[2,37],"effective":[3],"side-channel":[4],"attack":[5,12,73,167],"methods":[6,13,36],"for":[7,112,175],"cryptanalysis.":[8],"However,":[9],"existing":[10],"fault":[11,19,72,78,95,100,104,109,118,127,136,140,147,166],"involve":[14],"manual":[15],"derivation":[16],"of":[17,25,53,93,99,124,146,190],"complex":[18],"models":[20,111],"or":[21,199],"computation-intensive":[22],"statistical":[23],"analysis":[24],"mass":[26],"faulty":[27,208],"ciphertexts":[28,209],"to":[29,40,115,154,172,201,210],"recover":[30,211],"the":[31,49,91,117,122,156,176,188],"key.":[32,214],"In":[33],"addition,":[34],"most":[35],"only":[38,206],"applicable":[39],"a":[41,143,164,212],"specific":[42],"cryptographic":[43],"algorithm":[44],"with":[45,193],"strict":[46],"requirements":[47],"on":[48,80,168,181],"type":[50],"and":[51,58,65,83,102,149,185],"quantity":[52],"faults":[54],"injected,":[55],"lacking":[56],"scalability":[57],"generality.":[59],"Taking":[60],"inspiration":[61],"from":[62],"machine":[63],"learning":[64],"formal":[66,94,103,108,159,165],"verification,":[67],"we":[68],"propose":[69],"an":[70],"automated":[71],"framework,":[74],"which":[75],"supports":[76],"multi-byte":[77],"both":[81],"SPN":[82],"generalized":[84],"Feistel":[85],"structure":[86],"ciphers.":[87],"This":[88,161],"framework":[89],"automates":[90],"generation":[92],"propagation":[96,110,119,128,137],"models,":[97],"extraction":[98],"properties,":[101],"analysis.":[105,160],"We":[106,130],"construct":[107],"cipher":[113],"designs":[114],"measure":[116],"precisely,":[120],"eliminating":[121],"requirement":[123],"manually":[125],"deriving":[126],"models.":[129],"mine":[131],"accurate":[132],"invariable":[133],"behaviors":[134],"in":[135,170],"effects":[138],"as":[139],"properties":[141],"using":[142],"small":[144],"number":[145],"traces":[148],"further":[150],"utilize":[151],"property":[152],"constraints":[153],"retrieve":[155],"key":[157,194],"through":[158],"method":[162],"implements":[163],"SM4":[169,186],"25th":[171],"28th":[173],"rounds":[174],"first":[177],"time.":[178],"Experimental":[179],"results":[180],"AES,":[182],"RSM,":[183],"LED":[184],"demonstrate":[187],"effectiveness":[189],"our":[191],"method,":[192],"search":[195],"complexity":[196],"lower":[197],"than":[198],"equal":[200],"state-of-the-art":[202],"methods,":[203],"while":[204],"requiring":[205],"four":[207],"round":[213]},"counts_by_year":[],"updated_date":"2025-12-27T23:08:20.325037","created_date":"2025-10-10T00:00:00"}