Designs, Codes and Cryptography最新文献_第2页

A new framework for fast homomorphic matrix multiplication

IF 1.6 2区数学

Designs, Codes and Cryptography Pub Date : 2025-03-15 DOI: 10.1007/s10623-025-01614-y

Xiaopeng Zheng, Hongbo Li, Dingkang Wang

引用次数: 0

Resolution of the exceptional APN conjecture in the Gold degree case

IF 1.6 2区数学

Designs, Codes and Cryptography Pub Date : 2025-03-14 DOI: 10.1007/s10623-025-01607-x

Carlos Agrinsoni, Heeralal Janwa, Moises Delgado

{"title":"Resolution of the exceptional APN conjecture in the Gold degree case","authors":"Carlos Agrinsoni, Heeralal Janwa, Moises Delgado","doi":"10.1007/s10623-025-01607-x","DOIUrl":"https://doi.org/10.1007/s10623-025-01607-x","url":null,"abstract":"A function (f: {mathbb {F}}_q rightarrow {mathbb {F}}_q), is called an almost perfect nonlinear (APN) if (f(X+a)-f(X) =b) has at most 2 solutions for every (b,a in {mathbb {F}}_q), with a nonzero. Furthermore, it is called an exceptional APN if it is an APN on infinitely many extensions of ({mathbb {F}}_q). These problems are equivalent to finding rational points on the corresponding variety ({mathcal {X}}_f:=phi _f(X,Y,Z)=0). The Lang–Weil, Deligne, and Ghorpade–Lachaud bounds help solve these problems when (phi _f) contains an absolutely irreducible factor in the defining field. The exceptional monomial APN functions had been classified up to CCZ equivalence by Hernando and McGuire (J Algebra 343:78–92, 2011), proving the conjecture of Janwa, Wilson, and McGuire (JMW) (1993, 1995). The main tools used were the computation and classification of the singularities of ({mathcal {X}}_f) and the algorithm of JMW for the absolute irreducibility testing using Bezout’s Theorem. Aubry et al. (2010) conjectured that the only exceptional APN functions of odd degree up to CCZ equivalence are the Gold ((2^k+1)) and the Kasami-Welch ((2^{2k}-2^k+1)) monomial functions. Here, we settle the first case (Theorem 20). We also prove a part of a conjecture on exceptional crooked functions. One of the main tools in our proofs is our new absolute irreducibility criterion (Theorem 9).","PeriodicalId":11130,"journal":{"name":"Designs, Codes and Cryptography","volume":"22 1","pages":""},"PeriodicalIF":1.6,"publicationDate":"2025-03-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143618460","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Generalized impossible differential attacks on block ciphers: application to SKINNY and ForkSKINNY

IF 1.6 2区数学

Designs, Codes and Cryptography Pub Date : 2025-03-14 DOI: 10.1007/s10623-025-01611-1

Ling Song, Qinggan Fu, Qianqian Yang, Yin Lv, Lei Hu

{"title":"Generalized impossible differential attacks on block ciphers: application to SKINNY and ForkSKINNY","authors":"Ling Song, Qinggan Fu, Qianqian Yang, Yin Lv, Lei Hu","doi":"10.1007/s10623-025-01611-1","DOIUrl":"https://doi.org/10.1007/s10623-025-01611-1","url":null,"abstract":"Impossible differential cryptanalysis is a crucial cryptanalytical method for symmetric ciphers. Given an impossible differential, the key recovery attack typically proceeds in two steps: generating pairs of data and then identifying wrong keys using the guess-and-filtering method. At CRYPTO 2023, Boura et al. first proposed a new key recovery technique—the differential meet-in-the-middle attack, which recovers the key in a meet-in-the-middle manner. Inspired by this technique, we incorporate the meet-in-the-middle technique into impossible cryptanalysis and propose a generic impossible differential meet-in-the-middle attack (IDMA) framework. We apply IDMA to block ciphers SKINNY, SKINNYe-v2, and ForkSKINNY and achieve remarkably efficient attacks. We improve the impossible differential attack on SKINNY-n-3n by 2 rounds in the single-tweakey setting and 1 round in the related-tweakey setting. For SKINNYe-v2, the impossible differential attacks now can cover 2 more rounds in the related-tweakey setting and the first 23/24/25-round attacks in the single-tweakey model are given. For ForkSKINNY-n-3n, we improve the attacks by 2 rounds in the limited setting specified by the designers and 1 round in relaxed settings. These results confirm that the meet-in-the-middle technique can result in more efficient key recovery, reaching beyond what traditional methods can achieve on certain ciphers.","PeriodicalId":11130,"journal":{"name":"Designs, Codes and Cryptography","volume":"183 1","pages":""},"PeriodicalIF":1.6,"publicationDate":"2025-03-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143618461","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Galois subcovers of the Hermitian curve in characteristic p with respect to subgroups of order dp with $$dnot =p$$ prime

IF 1.6 2区数学

Designs, Codes and Cryptography Pub Date : 2025-03-14 DOI: 10.1007/s10623-025-01613-z

Arianna Dionigi, Barbara Gatti

{"title":"Galois subcovers of the Hermitian curve in characteristic p with respect to subgroups of order dp with $$dnot =p$$ prime","authors":"Arianna Dionigi, Barbara Gatti","doi":"10.1007/s10623-025-01613-z","DOIUrl":"https://doi.org/10.1007/s10623-025-01613-z","url":null,"abstract":"A problem of current interest, also motivated by applications to Coding theory, is to find explicit equations for maximal curves, that are projective, geometrically irreducible, non-singular curves defined over a finite field (mathbb {F}_{q^2}) whose number of (mathbb {F}_{q^2})-rational points attains the Hasse-Weil upper bound (q^2+2mathfrak {g}q+1) where (mathfrak {g}) is the genus of the curve (mathcal {X}). For curves which are Galois covered of the Hermitian curve, this has been done so far ad hoc, in particular in the cases where the Galois group has prime order and also when has order the square of the characteristic. In this paper we obtain explicit equations of all Galois covers of the Hermitian curve with Galois group of order dp where p is the characteristic of (mathbb {F}_{q^2}) and d is a prime other than p. We also compute the generators of the Weierstrass semigroup at a special (mathbb {F}_{q^2})-rational point of some of the curves, and discuss some possible positive impacts on the minimum distance problems of AG-codes.\u0000","PeriodicalId":11130,"journal":{"name":"Designs, Codes and Cryptography","volume":"68 1","pages":""},"PeriodicalIF":1.6,"publicationDate":"2025-03-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143618462","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Admissible parameters for the Crossbred algorithm and semi-regular sequences over finite fields 有限域上克罗斯比德算法和半规则序列的可容许参数

IF 1.6 2区数学

Designs, Codes and Cryptography Pub Date : 2025-03-11 DOI: 10.1007/s10623-025-01610-2

John Baena, Daniel Cabarcas, Sharwan K. Tiwari, Javier Verbel, Luis Villota

{"title":"Admissible parameters for the Crossbred algorithm and semi-regular sequences over finite fields","authors":"John Baena, Daniel Cabarcas, Sharwan K. Tiwari, Javier Verbel, Luis Villota","doi":"10.1007/s10623-025-01610-2","DOIUrl":"https://doi.org/10.1007/s10623-025-01610-2","url":null,"abstract":"Multivariate public key cryptography (MPKC) is one of the most promising alternatives to build quantum-resistant signature schemes, as evidenced in NIST’s call for additional post-quantum signature schemes. The main assumption in MPKC is the hardness of the Multivariate Quadratic (MQ) problem, which seeks for a common root to a system of quadratic polynomials over a finite field. Although the Crossbred algorithm is among the most efficient algorithms to solve MQ over small fields, its complexity analysis stands on shaky ground. In particular, it is not clear for what parameters it works and under what assumptions. In this work, we provide a rigorous analysis of the Crossbred algorithm over any finite field. We provide a complete explanation of the series of admissible parameters proposed in previous literature and explicitly state the regularity assumptions required for its validity. Moreover, we show that the series does not tell the whole story, hence we propose an additional condition for Crossbred to work. Additionally, we define and characterize a notion of regularity for systems over a small field, which is one of the main building blocks in the series of admissible parameters.","PeriodicalId":11130,"journal":{"name":"Designs, Codes and Cryptography","volume":"11 1","pages":""},"PeriodicalIF":1.6,"publicationDate":"2025-03-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143599669","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

A framework for constructing impossible differential distinguishers and its applications

IF 1.6 2区数学

Designs, Codes and Cryptography Pub Date : 2025-03-10 DOI: 10.1007/s10623-025-01588-x

Wenya Li, Kai Zhang, Bin Hu

{"title":"A framework for constructing impossible differential distinguishers and its applications","authors":"Wenya Li, Kai Zhang, Bin Hu","doi":"10.1007/s10623-025-01588-x","DOIUrl":"https://doi.org/10.1007/s10623-025-01588-x","url":null,"abstract":"The Internet of Things (IoT) has become a necessary part of modern technology, enabling devices to connect and interact with each other. Unless applicable cryptographic components have adequate security protection, the IoT could easily leak private data. Impossible differential cryptanalysis (IDC) is one of the best-known techniques for cryptanalysis of block ciphers. Several papers are aimed at formalizing the IDC and constructing impossible differentials (IDs) automatically. In 2003, Kim et al. proposed a framework for searching IDs, namely the (mathcal {U})-method. Luo et al. improved it and presented the UID-method in 2009. The two methods target word-oriented block ciphers. In this paper, we present a framework for constructing impossible differential distinguishers without a matrix, called the(mathcal {K})3.2 framework. This framework has a wider application on block ciphers than the (mathcal {U})-method, which works on the cipher with a certain property. In particular, the (mathcal {K})3.2 framework employs fewer variables than the (mathcal {U})-method and the UID-method. Furthermore, we present 10 applications on block ciphers and structures. For an IoT cipher, ALLPC, we find the full-round IDs and two longer IDs with five more rounds than full rounds. We find some new results for two ISO standard ciphers. For SKINNY, considering single-key and single-tweakey, we discover the ID with one more round than the previous result. For CLEFIA, we find two new IDs with the length of the previous longest IDs. For LBlock, TWINE, Feistel, Gen-RC6, Gen-Skipjack, Gen-CAST256, and SMS4, we rediscover the known IDs.","PeriodicalId":11130,"journal":{"name":"Designs, Codes and Cryptography","volume":"29 1","pages":""},"PeriodicalIF":1.6,"publicationDate":"2025-03-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143582742","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Nonexistence of generalized bent functions and the quadratic norm form equations

IF 1.6 2区数学

Designs, Codes and Cryptography Pub Date : 2025-03-09 DOI: 10.1007/s10623-025-01606-y

Chang Lv, Yuqing Zhu

引用次数: 0

Bounds on sphere sizes in the sum-rank metric and coordinate-additive metrics

IF 1.6 2区数学

Designs, Codes and Cryptography Pub Date : 2025-03-08 DOI: 10.1007/s10623-025-01604-0

Hugo Sauerbier Couvée, Thomas Jerkovits, Jessica Bariffi

引用次数: 0

The weight distribution of the fourth-order Reed–Muller code of length 512

IF 1.6 2区数学

Designs, Codes and Cryptography Pub Date : 2025-03-07 DOI: 10.1007/s10623-025-01602-2

Miroslav Markov, Yuri Borissov

引用次数: 0

On linear equivalence, canonical forms, and digital signatures

IF 1.6 2区数学

Designs, Codes and Cryptography Pub Date : 2025-03-07 DOI: 10.1007/s10623-025-01576-1

Tung Chou, Edoardo Persichetti, Paolo Santini

{"title":"On linear equivalence, canonical forms, and digital signatures","authors":"Tung Chou, Edoardo Persichetti, Paolo Santini","doi":"10.1007/s10623-025-01576-1","DOIUrl":"https://doi.org/10.1007/s10623-025-01576-1","url":null,"abstract":"Given two linear codes, the code equivalence problem asks to find an isometry mapping one code into the other. The problem can be described in terms of group actions and, as such, finds a natural application in signatures derived from a Zero-Knowledge Proof system. A recent paper, presented at Asiacrypt 2023, showed how a proof of equivalence can be significantly compressed by describing how the isometry acts only on an information set. Still, the resulting signatures are far from being optimal, as the size for a witness to this relation is still significantly larger than the theoretical lower bound, which is twice the security parameter. In this paper, we fill this gap and propose a new notion of equivalence, which leads to a drastically reduced witness size. For many cases, the resulting size is exactly the optimal one given by the lower bound. We achieve this by introducing the framework of canonical representatives, that is, representatives for classes of codes which are equivalent under some notion of equivalence. We propose new notions of equivalence which encompass and further extend all the existing ones: this allows to identify broader classes of equivalent codes, for which the equivalence can be proved with a very compact witness. We associate these new notions to a specific problem, called Canonical Form Linear Equivalence Problem (CF-LEP), which we show to be as hard as the original one (when random codes are considered), providing reductions in both ways. As an added consequence, this reduction leads to a new solver for the code equivalence problem, which is the fastest solver when the finite field size is large enough. Finally, we show that our framework yields a remarkable reduction in signature size when compared to the LESS submission. Our variant is able to obtain very compact signatures, around 2 KB or less, which are among the smallest in the code-based setting.","PeriodicalId":11130,"journal":{"name":"Designs, Codes and Cryptography","volume":"85 1","pages":""},"PeriodicalIF":1.6,"publicationDate":"2025-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143569773","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0