{"id":"https://openalex.org/W4405048469","doi":"https://doi.org/10.1587/transfun.2023eap1159","title":"Towards Finding Better Differentials on Multiple-Branch-Based Structures with the SAT Method","display_name":"Towards Finding Better Differentials on Multiple-Branch-Based Structures with the SAT Method","publication_year":2024,"publication_date":"2024-12-05","ids":{"openalex":"https://openalex.org/W4405048469","doi":"https://doi.org/10.1587/transfun.2023eap1159"},"language":"en","primary_location":{"id":"doi:10.1587/transfun.2023eap1159","is_oa":true,"landing_page_url":"https://doi.org/10.1587/transfun.2023eap1159","pdf_url":"https://www.jstage.jst.go.jp/article/transfun/E108.A/6/E108.A_2023EAP1159/_pdf","source":{"id":"https://openalex.org/S166990724","display_name":"IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences","issn_l":"0916-8508","issn":["0916-8508","1745-1337"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4320800604","host_organization_name":"Institute of Electronics, Information and Communication Engineers","host_organization_lineage":["https://openalex.org/P4320800604"],"host_organization_lineage_names":["Institute of Electronics, Information and Communication Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://www.jstage.jst.go.jp/article/transfun/E108.A/6/E108.A_2023EAP1159/_pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5067836892","display_name":"Kazuma Taka","orcid":null},"institutions":[{"id":"https://openalex.org/I180941496","display_name":"University of Hyogo","ror":"https://ror.org/0151bmh98","country_code":"JP","type":"education","lineage":["https://openalex.org/I180941496"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Kazuma TAKA","raw_affiliation_strings":["University of Hyogo"],"affiliations":[{"raw_affiliation_string":"University of Hyogo","institution_ids":["https://openalex.org/I180941496"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109215055","display_name":"Ishikawa Tatsuya","orcid":null},"institutions":[{"id":"https://openalex.org/I157090871","display_name":"Kokugakuin University","ror":"https://ror.org/05q041y44","country_code":"JP","type":"education","lineage":["https://openalex.org/I157090871"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Tatsuya ISHIKAWA","raw_affiliation_strings":["WDB KOUGAKU Co., Ltd","WDB KOUGAKU Co.,Ltd"],"affiliations":[{"raw_affiliation_string":"WDB KOUGAKU Co., Ltd","institution_ids":["https://openalex.org/I157090871"]},{"raw_affiliation_string":"WDB KOUGAKU Co.,Ltd","institution_ids":["https://openalex.org/I157090871"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5008561889","display_name":"Kosei Sakamoto","orcid":null},"institutions":[{"id":"https://openalex.org/I4210159266","display_name":"Mitsubishi Electric (United States)","ror":"https://ror.org/053jnhe44","country_code":"US","type":"company","lineage":["https://openalex.org/I1306287861","https://openalex.org/I4210133125","https://openalex.org/I4210159266"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kosei SAKAMOTO","raw_affiliation_strings":["Mitsubishi Electric Corporation"],"affiliations":[{"raw_affiliation_string":"Mitsubishi Electric Corporation","institution_ids":["https://openalex.org/I4210159266"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5056480052","display_name":"Takanori Isobe","orcid":"https://orcid.org/0000-0003-4253-5567"},"institutions":[{"id":"https://openalex.org/I180941496","display_name":"University of Hyogo","ror":"https://ror.org/0151bmh98","country_code":"JP","type":"education","lineage":["https://openalex.org/I180941496"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Takanori ISOBE","raw_affiliation_strings":["University of Hyogo"],"affiliations":[{"raw_affiliation_string":"University of Hyogo","institution_ids":["https://openalex.org/I180941496"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5067836892"],"corresponding_institution_ids":["https://openalex.org/I180941496"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.23829752,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"E108.A","issue":"6","first_page":"816","last_page":"833"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11006","display_name":"BIM and Construction Integration","score":0.8977000117301941,"subfield":{"id":"https://openalex.org/subfields/2215","display_name":"Building and Construction"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11006","display_name":"BIM and Construction Integration","score":0.8977000117301941,"subfield":{"id":"https://openalex.org/subfields/2215","display_name":"Building and Construction"},"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.8312000036239624,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T12784","display_name":"Modular Robots and Swarm Intelligence","score":0.7425000071525574,"subfield":{"id":"https://openalex.org/subfields/2210","display_name":"Mechanical 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.6063914895057678},{"id":"https://openalex.org/keywords/branch-predictor","display_name":"Branch predictor","score":0.526123046875},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3956879675388336},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.37211498618125916},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.3557790517807007},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.3400178551673889},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2829585075378418}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6063914895057678},{"id":"https://openalex.org/C168522837","wikidata":"https://www.wikidata.org/wiki/Q679552","display_name":"Branch predictor","level":2,"score":0.526123046875},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3956879675388336},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.37211498618125916},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.3557790517807007},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3400178551673889},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2829585075378418}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1587/transfun.2023eap1159","is_oa":true,"landing_page_url":"https://doi.org/10.1587/transfun.2023eap1159","pdf_url":"https://www.jstage.jst.go.jp/article/transfun/E108.A/6/E108.A_2023EAP1159/_pdf","source":{"id":"https://openalex.org/S166990724","display_name":"IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences","issn_l":"0916-8508","issn":["0916-8508","1745-1337"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4320800604","host_organization_name":"Institute of Electronics, Information and Communication Engineers","host_organization_lineage":["https://openalex.org/P4320800604"],"host_organization_lineage_names":["Institute of Electronics, Information and Communication Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1587/transfun.2023eap1159","is_oa":true,"landing_page_url":"https://doi.org/10.1587/transfun.2023eap1159","pdf_url":"https://www.jstage.jst.go.jp/article/transfun/E108.A/6/E108.A_2023EAP1159/_pdf","source":{"id":"https://openalex.org/S166990724","display_name":"IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences","issn_l":"0916-8508","issn":["0916-8508","1745-1337"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4320800604","host_organization_name":"Institute of Electronics, Information and Communication Engineers","host_organization_lineage":["https://openalex.org/P4320800604"],"host_organization_lineage_names":["Institute of Electronics, Information and Communication Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2744560816","display_name":null,"funder_award_id":"05801","funder_id":"https://openalex.org/F4320335839","funder_display_name":"National Institute of Information and Communications Technology"},{"id":"https://openalex.org/G2996491227","display_name":null,"funder_award_id":"JPMJPR2031","funder_id":"https://openalex.org/F4320338111","funder_display_name":"Precursory Research for Embryonic Science and Technology"},{"id":"https://openalex.org/G5518604981","display_name":null,"funder_award_id":"PREST","funder_id":"https://openalex.org/F4320338111","funder_display_name":"Precursory Research for Embryonic Science and Technology"}],"funders":[{"id":"https://openalex.org/F4320324891","display_name":"Iran Telecommunication Research Center","ror":"https://ror.org/01a3g2z22"},{"id":"https://openalex.org/F4320335839","display_name":"National Institute of Information and Communications Technology","ror":"https://ror.org/016bgq349"},{"id":"https://openalex.org/F4320338111","display_name":"Precursory Research for Embryonic Science and Technology","ror":null}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4405048469.pdf"},"referenced_works_count":19,"referenced_works":["https://openalex.org/W82625556","https://openalex.org/W1427832936","https://openalex.org/W1599175145","https://openalex.org/W1629301835","https://openalex.org/W1883151075","https://openalex.org/W2036265926","https://openalex.org/W2293947265","https://openalex.org/W2504919933","https://openalex.org/W2910049226","https://openalex.org/W3143950643","https://openalex.org/W3146780285","https://openalex.org/W3203526008","https://openalex.org/W3206836621","https://openalex.org/W3210705930","https://openalex.org/W4242172967","https://openalex.org/W4246444142","https://openalex.org/W4251810237","https://openalex.org/W4295026871","https://openalex.org/W4365807668"],"related_works":["https://openalex.org/W2061007994","https://openalex.org/W2408643487","https://openalex.org/W4256090683","https://openalex.org/W2145546531","https://openalex.org/W1586172811","https://openalex.org/W2389267844","https://openalex.org/W365166040","https://openalex.org/W196006244","https://openalex.org/W2071915432","https://openalex.org/W2156996403"],"abstract_inverted_index":{"As":[0],"low-latency":[1,109],"designs":[2],"tend":[3],"to":[4,11,22,43,51,107,120,192,213,246,251],"have":[5,34],"a":[6,19,27,61,68,114,201],"small":[7],"number":[8,162,224],"of":[9,55,88,97,123,163,172,217,225,231],"rounds":[10,122,140,194],"decrease":[12],"latency,":[13],"the":[14,35,53,56,76,80,108,148,157,161,168,180,186,215,218,223,229,242,253],"differential-type":[15],"cryptanalysis":[16],"can":[17,33],"become":[18],"significant":[20],"threat":[21],"them.":[23],"In":[24,63],"particular,":[25],"since":[26],"multiple-branch-based":[28,81,89],"design,":[29],"such":[30,60],"as":[31],"Orthros":[32,124],"strong":[36],"clustering":[37,57,77,98,219,243],"effect":[38,58,78,220,244],"on":[39,100,156,200,228],"differential":[40,116,153,170,203,256],"attacks":[41,154],"due":[42],"its":[44],"large":[45],"internal":[46],"state,":[47],"it":[48],"is":[49,137,249],"crucial":[50],"investigate":[52,214],"impact":[54,216],"in":[59,79,211],"design.":[62,82],"this":[64],"paper,":[65],"we":[66,146,184,206,234],"present":[67],"new":[69],"SAT-based":[70],"automatic":[71],"search":[72],"method":[73,92,106],"for":[74,132,152,160,179,195],"evaluating":[75],"By":[83],"exploiting":[84],"an":[85],"inherent":[86],"trait":[87],"designs,":[90],"our":[91,105,232],"enables":[93],"highly":[94],"efficient":[95],"evaluations":[96],"effects":[99],"this-type":[101],"designs.":[102],"We":[103],"apply":[104],"PRF":[110,210],"Orthros,":[111,173],"and":[112,129,166,176],"show":[113,235],"best":[115],"distinguisher":[117,131],"reaching":[118],"up":[119],"7":[121],"with":[125],"2116.806":[126],"time/data":[127],"complexity":[128],"9-round":[130],"each":[133],"underlying":[134],"permutation":[135],"which":[136],"2":[138,178,198],"more":[139,239],"than":[141],"known":[142],"longest":[143],"distinguishers.":[144],"Besides,":[145],"update":[147],"designer\u2019s":[149,187],"security":[150,188,254],"bound":[151,189],"based":[155,199],"lower":[158],"bounds":[159],"active":[164],"S-boxes,":[165],"obtain":[167],"optimal":[169],"characteristic":[171],"Branch":[174,177],"1,":[175],"first":[181],"time.":[182],"Consequently,":[183],"improve":[185],"from":[190],"9/12/12":[191],"7/10/10":[193],"Orthros/Branch":[196],"1/Branch":[197],"single":[202],"characteristic.":[204],"Moreover,":[205],"define":[207],"Orthros-like":[208],"three-branch-based":[209],"order":[212],"when":[221],"increasing":[222],"branches.":[226],"Based":[227],"results":[230],"evaluation,":[233],"that":[236],"adding":[237],"one":[238],"branch":[240],"makes":[241],"easy":[245],"happen,":[247],"but":[248],"promising":[250],"enhance":[252],"against":[255],"cryptanalysis.":[257]},"counts_by_year":[],"updated_date":"2026-03-25T23:56:10.502304","created_date":"2025-10-10T00:00:00"}