[論文レビュー] Further Results of the Cryptographic Properties on the Butterfly Structure.

Shihui Fu, Xiutao Feng|arXiv (Cornell University)|Jul 28, 2016

Coding theory and cryptography参考文献 7被引用数 3

ひとこと要約

この論文は、指数 $ e = 2^i + 1 $ のバタフライ構造に対して非線形性の最適性を証明し、暗号理論における未解決問題を解決する。さらに、自明な係数を持つバタフライ構造が一対一であり、最適な非線形性を達成することを確立し、暗号的プリミティブとしての適性を確認する。

ABSTRACT

Recently, a new structure called butterfly introduced by Perrin et at. is attractive for that it has very good cryptographic properties: the differential uniformity is at most equal to 4 and algebraic degree is also very high when exponent $e=3$. It is conjecture that the nonlinearity is also optimal for every odd $k$, which was proposed as a open problem. In this paper, we further study the butterfly structures and show that these structure with exponent $e=2^i+1$ have also very good cryptographic properties. More importantly, we prove in theory the nonlinearity is optimal for every odd $k$, which completely solve the open problem. Finally, we study the butter structures with trivial coefficient and show these butterflies have also optimal nonlinearity. Furthermore, we show that the closed butterflies with trivial coefficient are bijective as well, which also can be used to serve as a cryptographic primitive.

研究の動機と目的

• 奇数の $ k $ に対するバタフライ構造における非線形性の最適性に関する未解決問題を解決すること。
• 指数 $ e = 2^i + 1 $ のバタフライ構造の暗号的性質、特に非線形性と微分均一性を調査すること。
• 自明な係数を持つバタフライ構造の解析を行い、その一対一性および非線形性の性質を特定すること。
• 理論的性質に基づいて、これらの構造が暗号的プリミティブとして適しているかどうかを確認すること。

提案手法

• 指数 $ e = 2^i + 1 $ のバタフライ構造の代数的および微分的性質に関する理論的分析を行い、非線形性と微分均一性に焦点を当てる。
• 代数的および組合せ的技法を用いてワルシュスペクトルを分析することで、すべての奇数の $ k $ に対して非線形性の最適性を証明する。
• 自明な係数を持つバタフライ構造の研究を行い、構造的および代数的解析によりそれが一対一であることを証明する。
• 自明な係数を持つ閉形式バタフライ構造が最適な非線形性を達成するための条件を導出する。
• 有限体の性質と対称的構造の分析を用いて暗号的強度を確立する。
• 湾曲関数およびベクトル的ブール関数に関する既知の結果を応用して、非線形性の境界を検証する。

実験結果

リサーチクエスチョン

• RQ1 指数 $ e = 2^i + 1 $ のバタフライ構造の非線形性は、すべての奇数の $ k $ に対して最適であるか？
• RQ2 自明な係数を持つバタフライ構造は、最適な非線形性と一対一性を維持するか？
• RQ3 理論的にバタフライ構造の非線形性が最適であることを証明でき、未解決問題が解消されるか？
• RQ4 自明な係数を持つバタフライ構造をプリミティブとして使用する場合の暗号的意味は何か？

主な発見

• 指数 $ e = 2^i + 1 $ のバタフライ構造の非線形性が、すべての奇数の $ k $ に対して最適であることが証明され、未解決問題が完全に解決された。
• 自明な係数を持つバタフライ構造が一対一であることが示され、暗号的利用に適した構造的性質が確認された。
• 係数が自明な場合、これらの構造が最適な非線形性を達成し、線形 cryptanalysis に対する耐性が向上する。
• 指数 $ e = 2^i + 1 $ のバタフライ構造の微分均一性は最大で 4 であり、微分攻撃に対する強い耐性を維持する。
• 最適な非線形性、低微分均一性、および一対一性の組み合わせにより、これらの構造の暗号的強度が確認された。
• 理論的結果により、自明な係数を持つバタフライ構造が安全な暗号的プリミティブとして機能できることを検証した。