{"id":"https://openalex.org/W4402380510","doi":"https://doi.org/10.46586/tosc.v2024.i3.177-199","title":"Perfect Monomial Prediction for Modular Addition","display_name":"Perfect Monomial Prediction for Modular Addition","publication_year":2024,"publication_date":"2024-09-06","ids":{"openalex":"https://openalex.org/W4402380510","doi":"https://doi.org/10.46586/tosc.v2024.i3.177-199"},"language":"en","primary_location":{"id":"doi:10.46586/tosc.v2024.i3.177-199","is_oa":true,"landing_page_url":"https://doi.org/10.46586/tosc.v2024.i3.177-199","pdf_url":"https://tosc.iacr.org/index.php/ToSC/article/download/11814/11317","source":{"id":"https://openalex.org/S4210236173","display_name":"IACR Transactions on Symmetric Cryptology","issn_l":"2519-173X","issn":["2519-173X"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IACR Transactions on Symmetric Cryptology","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://tosc.iacr.org/index.php/ToSC/article/download/11814/11317","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5057094044","display_name":"Kai Hu","orcid":"https://orcid.org/0000-0003-3552-7200"},"institutions":[{"id":"https://openalex.org/I80143920","display_name":"Shandong University of Science and Technology","ror":"https://ror.org/04gtjhw98","country_code":"CN","type":"education","lineage":["https://openalex.org/I80143920"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Kai Hu","raw_affiliation_strings":["School of Cyber Science and Technology, Shandong University, Qingdao, Shandong, China; Key Laboratory of Cryptologic Technology and Information Security, Ministry of Education, Shandong University, Jinan, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Cyber Science and Technology, Shandong University, Qingdao, Shandong, China; Key Laboratory of Cryptologic Technology and Information Security, Ministry of Education, Shandong University, Jinan, China","institution_ids":["https://openalex.org/I80143920"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5041917793","display_name":"Trevor Yap","orcid":"https://orcid.org/0000-0001-8651-574X"},"institutions":[{"id":"https://openalex.org/I172675005","display_name":"Nanyang Technological University","ror":"https://ror.org/02e7b5302","country_code":"SG","type":"education","lineage":["https://openalex.org/I172675005"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Trevor Yap","raw_affiliation_strings":["School of Physical and Mathematical Sciences, Nanyang Technological University, Singapore, Singapore; Temasek Laboratories, Nanyang Technological University, Singapore, Singapore"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Physical and Mathematical Sciences, Nanyang Technological University, Singapore, Singapore; Temasek Laboratories, Nanyang Technological University, Singapore, Singapore","institution_ids":["https://openalex.org/I172675005"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.4943,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.67393108,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":97},"biblio":{"volume":"2024","issue":"3","first_page":"177","last_page":"199"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11063","display_name":"Rough Sets and Fuzzy Logic","score":0.8428000211715698,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T11063","display_name":"Rough Sets and Fuzzy Logic","score":0.8428000211715698,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T11948","display_name":"Machine Learning in Materials Science","score":0.823199987411499,"subfield":{"id":"https://openalex.org/subfields/2505","display_name":"Materials Chemistry"},"field":{"id":"https://openalex.org/fields/25","display_name":"Materials Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11245","display_name":"Advanced Numerical Analysis Techniques","score":0.8216999769210815,"subfield":{"id":"https://openalex.org/subfields/2206","display_name":"Computational Mechanics"},"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/monomial","display_name":"Monomial","score":0.7619367837905884},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.6852978467941284},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3997526168823242},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.351529061794281},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.20080241560935974},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.17648857831954956}],"concepts":[{"id":"https://openalex.org/C11252640","wikidata":"https://www.wikidata.org/wiki/Q243723","display_name":"Monomial","level":2,"score":0.7619367837905884},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.6852978467941284},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3997526168823242},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.351529061794281},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.20080241560935974},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.17648857831954956}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.46586/tosc.v2024.i3.177-199","is_oa":true,"landing_page_url":"https://doi.org/10.46586/tosc.v2024.i3.177-199","pdf_url":"https://tosc.iacr.org/index.php/ToSC/article/download/11814/11317","source":{"id":"https://openalex.org/S4210236173","display_name":"IACR Transactions on Symmetric Cryptology","issn_l":"2519-173X","issn":["2519-173X"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IACR Transactions on Symmetric Cryptology","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:8ef03e32dd6d45739e547487951a76d9","is_oa":true,"landing_page_url":"https://doaj.org/article/8ef03e32dd6d45739e547487951a76d9","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IACR Transactions on Symmetric Cryptology, Vol 2024, Iss 3 (2024)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.46586/tosc.v2024.i3.177-199","is_oa":true,"landing_page_url":"https://doi.org/10.46586/tosc.v2024.i3.177-199","pdf_url":"https://tosc.iacr.org/index.php/ToSC/article/download/11814/11317","source":{"id":"https://openalex.org/S4210236173","display_name":"IACR Transactions on Symmetric Cryptology","issn_l":"2519-173X","issn":["2519-173X"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IACR Transactions on Symmetric Cryptology","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2405395114","display_name":null,"funder_award_id":"ZR202010220025","funder_id":"https://openalex.org/F4320324174","funder_display_name":"Natural Science Foundation of Shandong Province"},{"id":"https://openalex.org/G2857074497","display_name":null,"funder_award_id":"ZR202010220025","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"},{"id":"https://openalex.org/G5467697000","display_name":null,"funder_award_id":"62032014","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"},{"id":"https://openalex.org/G5653340552","display_name":null,"funder_award_id":"2018YFA0704702","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"},{"id":"https://openalex.org/G6785854632","display_name":null,"funder_award_id":"U2336207","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7726402512","display_name":null,"funder_award_id":"SYS202201","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"},{"id":"https://openalex.org/G7735407926","display_name":null,"funder_award_id":"62032014","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320311026","display_name":"Shandong University","ror":"https://ror.org/0207yh398"},{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320324174","display_name":"Natural Science Foundation of Shandong Province","ror":null},{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4402380510.pdf","grobid_xml":"https://content.openalex.org/works/W4402380510.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W4391375266","https://openalex.org/W2399505800","https://openalex.org/W2018253224","https://openalex.org/W333749553","https://openalex.org/W1966623661","https://openalex.org/W2942288111","https://openalex.org/W2039516134","https://openalex.org/W1509594480","https://openalex.org/W2788737482"],"abstract_inverted_index":{"Modular":[0],"addition":[1,36,54,152,198],"is":[2,18,37,105],"often":[3],"the":[4,15,19,40,58,98,118,160,181,193,208,248,277,285,304,321,327,359,366,373,380],"most":[5,20],"complex":[6],"component":[7],"of":[8,82,117,164,196,250,284,307,329,361,368,383],"typical":[9],"Addition-":[10],"Rotation-XOR":[11],"(ARX)":[12],"ciphers,":[13,268],"and":[14,64,108,137,178,188,199,215,258,294,313,352],"division":[16,31,49,101,119,127,162,230,244,362],"property":[17,32,50,102,128,163,231,245,363],"effective":[21],"tool":[22],"for":[23,34,42,52,69,97,159,202,233,263,281,292,299,310,317,320,350],"detecting":[24,295],"integral":[25,43,264,279,297,342],"distinguishers.":[26,343],"Thus,":[27],"having":[28],"a":[29,61,80,165,228,336,347],"precise":[30,115,155,161,229],"model":[33,232,238],"modular":[35,53,151,197,234],"crucial":[38],"in":[39,45,185,212,243,266,332,365,379],"search":[41,262,290],"distinguishers":[44,265,280,298],"ARX":[46,267,384],"ciphers.":[47,385],"Current":[48],"models":[51],"either":[55],"(a)":[56],"express":[57],"operation":[59],"as":[60,79,122],"Boolean":[62,167,369],"circuit":[63],"apply":[65,256],"standard":[66],"propagation":[67,157],"rules":[68],"basic":[70],"operations":[71],"(COPY,":[72],"XOR,":[73],"AND),":[74],"or":[75,133],"(b)":[76],"treat":[77],"it":[78],"sequence":[81],"smaller":[83],"functions":[84],"with":[85],"carry":[86],"bits,":[87],"modeling":[88],"each":[89],"function":[90,168],"individually.":[91],"Both":[92],"approaches":[93],"were":[94],"originally":[95],"proposed":[96,374],"twosubset":[99],"bit-based":[100,126],"(2BDP),":[103],"which":[104],"theoretically":[106],"imprecise":[107],"may":[109],"overlook":[110],"some":[111],"balanced":[112],"bits.Recently,":[113],"more":[114],"versions":[116],"property,":[120],"such":[121],"parity":[123],"sets,":[124],"threesubset":[125],"without":[129],"unknown":[130],"subsets":[131],"(3BDPwoU)":[132],"monomial":[134,182,209,356],"prediction":[135],"(MP),":[136],"algebraic":[138,194],"transition":[139],"matrices":[140],"have":[141],"been":[142,148,241],"proposed.":[143],"However,":[144],"little":[145],"attention":[146],"has":[147,239],"given":[149],"to":[150,175,227,247,261,270],"within":[153],"these":[154],"models.The":[156],"rule":[158],"vectorial":[166],"f":[169],"requires":[170],"that":[171,201,338,372],"u":[172,218],"can":[173],"propagate":[174],"v":[176,220],"if":[177,180,214,217],"only":[179,216],"\u03c0u(x)":[183],"appears":[184,211],"\u03c0v(f).":[186],"Braeken":[187,257,351],"Semaev":[189],"(FSE":[190],"2005)":[191],"studied":[192],"structure":[195],"showed":[200],"x":[203],"\u229e":[204],"y":[205],"=":[206,221],"z,":[207],"\u03c0u(x)\u03c0v(y)":[210],"\u03c0w(z)":[213],"+":[219],"w.":[222],"Their":[223],"theorem":[224,260,354],"directly":[225],"leads":[226],"addition.":[235],"Surprisingly,":[236],"this":[237,253],"not":[240],"applied":[242],"searches,":[246],"best":[249],"our":[251],"knowledge.In":[252],"paper,":[254],"we":[255,275,302,325,345],"Semaev\u2019s":[259,353],"leading":[269],"several":[271],"new":[272,296],"results.":[273],"First,":[274],"improve":[276],"state-of-the-art":[278],"all":[282],"variants":[283],"Speck":[286,333],"family,":[287],"significantly":[288],"enhancing":[289],"efficiency":[291],"Speck-32/48/64/96":[293],"Speck-48/64/96/128.":[300],"Second,":[301],"determine":[303],"exact":[305],"degrees":[306],"output":[308,315],"bits":[309,316],"7-round":[311],"Speck-32":[312],"all/16/2":[314],"2/3/4-round":[318],"Alzette":[319],"first":[322],"time.":[323],"Third,":[324],"revisit":[326],"choice":[328],"rotation":[330],"parameters":[331],"instances,":[334],"providing":[335],"criterion":[337],"enhances":[339],"resistance":[340],"against":[341],"Additionally,":[344],"offer":[346],"simpler":[348],"proof":[349],"using":[355],"prediction,":[357],"demonstrating":[358],"potential":[360],"methods":[364,375],"study":[367],"functions.We":[370],"hope":[371],"will":[376],"be":[377],"valuable":[378],"future":[381],"design":[382]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1}],"updated_date":"2026-08-22T07:34:49.880490","created_date":"2025-10-10T00:00:00"}