The design of cryptographic S-boxes using CSPs

Venkatesh Ramamoorthy, Marius C. Silaghi, Toshihiro Matsui, Katsutoshi Hirayama, Makoto Yokoo

研究成果: Chapter in Book/Report/Conference proceedingConference contribution

4 引用 (Scopus)

抜粋

We use the Constraint Satisfaction Problem (CSP) framework to model and solve the problem of designing substitution functions for substitution- permutation (SP) networks as proposed by Shannon for the architecture of ciphers. Many ciphers are designed using the SP pattern, and differ mainly by two parametrized functions: substitution and permutation. The most difficult of the two is the substitution function, which has to be nonlinear (a requirement that was difficult to define and quantify). Over time, researchers such as Nyberg, Pieprzyk and Matsui have proposed various metrics of nonlinearity that make the function robust to modern attacks. Before us, people have attempted various ways to design functions that respect these metrics. In the past people hand-picked substitution tables (S-boxes) by trying various values. Recently they use difficult to analyze constructs (such as Bent functions, spectral inversion, inverses in Galois fields) whose outputs are tested for nonlinearity. While efficient, such techniques are neither exhaustive (optimal), nor did they manage to generate better substitutions than the ones hand-picked in the past. We show that Matsui's nonlinearity requirement can be naturally modelled using CSPs. Based on a combination of existing CSP techniques and some new filtering operators that we designed specially for the new types of constraints, we manage to obtain better S-boxes than any previously published ones. The simplicity of the CSP framework and availability of general CSP solvers like ours, makes it easy for more people to design their own ciphers with easy to understand security parameters. Here we report on this new application of CSPs.

元の言語英語
ホスト出版物のタイトルPrinciples and Practice of Constraint Programming, CP 2011 - 17th International Conference, Proceedings
ページ54-68
ページ数15
DOI
出版物ステータス出版済み - 9 26 2011
イベント17th International Conference on Principles and Practice of Constraint Programming, CP 2011 - Perugia, イタリア
継続期間: 9 12 20119 16 2011

出版物シリーズ

名前Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
6876 LNCS
ISSN(印刷物)0302-9743
ISSN(電子版)1611-3349

その他

その他17th International Conference on Principles and Practice of Constraint Programming, CP 2011
イタリア
Perugia
期間9/12/119/16/11

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

フィンガープリント The design of cryptographic S-boxes using CSPs' の研究トピックを掘り下げます。これらはともに一意のフィンガープリントを構成します。

  • これを引用

    Ramamoorthy, V., Silaghi, M. C., Matsui, T., Hirayama, K., & Yokoo, M. (2011). The design of cryptographic S-boxes using CSPs. : Principles and Practice of Constraint Programming, CP 2011 - 17th International Conference, Proceedings (pp. 54-68). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 6876 LNCS). https://doi.org/10.1007/978-3-642-23786-7_7