{"id":"https://openalex.org/W4413185115","doi":"https://doi.org/10.1587/transinf.2024icp0002","title":"SAT-Based Differential Analysis of Initialization Phase of AEGIS/Tiaoxin-346/Rocca/Rocca-S","display_name":"SAT-Based Differential Analysis of Initialization Phase of AEGIS/Tiaoxin-346/Rocca/Rocca-S","publication_year":2025,"publication_date":"2025-08-12","ids":{"openalex":"https://openalex.org/W4413185115","doi":"https://doi.org/10.1587/transinf.2024icp0002"},"language":"en","primary_location":{"id":"doi:10.1587/transinf.2024icp0002","is_oa":true,"landing_page_url":"https://doi.org/10.1587/transinf.2024icp0002","pdf_url":"https://www.jstage.jst.go.jp/article/transinf/E108.D/12/E108.D_2024ICP0002/_pdf","source":{"id":"https://openalex.org/S2486202937","display_name":"IEICE Transactions on Information and Systems","issn_l":"0916-8532","issn":["0916-8532","1745-1361"],"is_oa":true,"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 Information and Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://www.jstage.jst.go.jp/article/transinf/E108.D/12/E108.D_2024ICP0002/_pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5049710749","display_name":"Takuro Shiraya","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":false,"raw_author_name":"Takuro SHIRAYA","raw_affiliation_strings":["Graduate School of Information Science, University of Hyogo"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Graduate School of Information Science, University of Hyogo","institution_ids":["https://openalex.org/I180941496"]}]},{"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"],"raw_orcid":null,"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"]},{"id":"https://openalex.org/I90023481","display_name":"National Institute of Information and Communications Technology","ror":"https://ror.org/016bgq349","country_code":"JP","type":"facility","lineage":["https://openalex.org/I90023481"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Takanori ISOBE","raw_affiliation_strings":["Graduate School of Information Science, University of Hyogo","National Institute of Information and Communications Technology"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Graduate School of Information Science, University of Hyogo","institution_ids":["https://openalex.org/I180941496"]},{"raw_affiliation_string":"National Institute of Information and Communications Technology","institution_ids":["https://openalex.org/I90023481"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.24299972,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"E108.D","issue":"12","first_page":"1507","last_page":"1525"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11701","display_name":"Space Satellite Systems and Control","score":0.3677000105381012,"subfield":{"id":"https://openalex.org/subfields/2202","display_name":"Aerospace Engineering"},"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/T11701","display_name":"Space Satellite Systems and Control","score":0.3677000105381012,"subfield":{"id":"https://openalex.org/subfields/2202","display_name":"Aerospace 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/T10876","display_name":"Fault Detection and Control Systems","score":0.3151000142097473,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems 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/initialization","display_name":"Initialization","score":0.8126850128173828},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7637715339660645},{"id":"https://openalex.org/keywords/differential","display_name":"Differential (mechanical device)","score":0.43409040570259094},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3534454107284546},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.11709380149841309},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.049575090408325195}],"concepts":[{"id":"https://openalex.org/C114466953","wikidata":"https://www.wikidata.org/wiki/Q6034165","display_name":"Initialization","level":2,"score":0.8126850128173828},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7637715339660645},{"id":"https://openalex.org/C93226319","wikidata":"https://www.wikidata.org/wiki/Q193137","display_name":"Differential (mechanical device)","level":2,"score":0.43409040570259094},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3534454107284546},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.11709380149841309},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.049575090408325195},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1587/transinf.2024icp0002","is_oa":true,"landing_page_url":"https://doi.org/10.1587/transinf.2024icp0002","pdf_url":"https://www.jstage.jst.go.jp/article/transinf/E108.D/12/E108.D_2024ICP0002/_pdf","source":{"id":"https://openalex.org/S2486202937","display_name":"IEICE Transactions on Information and Systems","issn_l":"0916-8532","issn":["0916-8532","1745-1361"],"is_oa":true,"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 Information and Systems","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1587/transinf.2024icp0002","is_oa":true,"landing_page_url":"https://doi.org/10.1587/transinf.2024icp0002","pdf_url":"https://www.jstage.jst.go.jp/article/transinf/E108.D/12/E108.D_2024ICP0002/_pdf","source":{"id":"https://openalex.org/S2486202937","display_name":"IEICE Transactions on Information and Systems","issn_l":"0916-8532","issn":["0916-8532","1745-1361"],"is_oa":true,"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 Information and Systems","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1613875913","display_name":null,"funder_award_id":"JPJ000254\u201d","funder_id":"https://openalex.org/F4320325628","funder_display_name":"Ministry of Internal Affairs and Communications"},{"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"}],"funders":[{"id":"https://openalex.org/F4320325628","display_name":"Ministry of Internal Affairs and Communications","ror":"https://ror.org/00vs1pz50"},{"id":"https://openalex.org/F4320338111","display_name":"Precursory Research for Embryonic Science and Technology","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4413185115.pdf","grobid_xml":"https://content.openalex.org/works/W4413185115.grobid-xml"},"referenced_works_count":18,"referenced_works":["https://openalex.org/W1629301835","https://openalex.org/W1883151075","https://openalex.org/W2116204329","https://openalex.org/W2211781628","https://openalex.org/W2486115487","https://openalex.org/W2912272895","https://openalex.org/W3126334997","https://openalex.org/W3146780285","https://openalex.org/W3168092484","https://openalex.org/W3184472707","https://openalex.org/W4210850766","https://openalex.org/W4242172967","https://openalex.org/W4288951581","https://openalex.org/W4295067106","https://openalex.org/W4312416783","https://openalex.org/W4318220632","https://openalex.org/W4390741727","https://openalex.org/W4392358714"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W3204184292","https://openalex.org/W3176564347","https://openalex.org/W2355833770","https://openalex.org/W1985458517","https://openalex.org/W3031039437","https://openalex.org/W183202219","https://openalex.org/W3095877357"],"abstract_inverted_index":{"We":[0],"examine":[1],"the":[2,10,24,30,39,43,56,62,68,73,77,97,110,116,125,130,138,142,155,162,191],"security":[3,25,57],"of":[4,33,45,65,79,96,112,144,157,173,199],"AES-based":[5],"authenticated":[6],"encryption":[7],"schemes":[8],"including":[9],"AEGIS":[11,34,98,177],"family,":[12,99,178],"Tiaoxin-346,":[13,100,179,201],"Rocca":[14,36,180],"and":[15,35,37,102,153,181,203],"Rocca-S.":[16,182,204],"In":[17,88],"existing":[18],"work,":[19],"Takeuchi":[20],"et":[21,53],"al.":[22,54],"evaluated":[23,55],"against":[26,58],"differential":[27,59,127,159,171],"attacks":[28,60,195],"for":[29,42,61,76,109,141,150,161],"initialization":[31,63,131,174,197],"phase":[32,64,175],"estimated":[38],"lower":[40,74,107,139],"bounds":[41,75,108,140],"number":[44,78,111,143],"active":[46,80,113,145],"S-boxes":[47,81,114,146],"by":[48,115],"byte-wise":[49,69],"search.":[50],"Similarly,":[51],"Shiraya":[52],"Tiaoxin-346.":[66],"However,":[67],"evaluation":[70,95],"might":[71,84],"underestimate":[72],"as":[82,185],"it":[83],"include":[85],"invalid":[86],"characteristics.":[87],"this":[89],"paper,":[90],"we":[91,123,136,186],"conduct":[92],"a":[93,134],"bit-wise":[94,193],"Rocca,":[101,202],"Rocca-S":[103],"to":[104,168],"obtain":[105],"exact":[106],"boolean":[117],"satisfiability":[118],"problem":[119],"(SAT)":[120],"tools.":[121],"Besides,":[122],"derive":[124],"optimal":[126,158],"characteristics":[128,160],"in":[129,147],"phase.":[132],"As":[133,183],"result,":[135],"update":[137],"some":[148],"rounds":[149],"each":[151],"targets":[152],"derived":[154],"probability":[156],"first":[163,192],"time,":[164],"which":[165],"allowed":[166],"us":[167],"find":[169],"longest":[170],"distinguisher":[172],"on":[176,196],"far":[184],"known,":[187],"our":[188],"results":[189],"are":[190],"distinguishing":[194],"phases":[198],"AEGIS,":[200]},"counts_by_year":[],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2025-10-10T00:00:00"}