Increasing Precision of Division Property
In this paper we propose new techniques related to division property. We describe for the first time a practical algorithm for computing the propagation tables of 16-bit Super-Sboxes, increasing the precision of the division property by removing a lot of false division trails. We also improve the co...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Ruhr-Universität Bochum
2020-12-01
|
| Series: | IACR Transactions on Symmetric Cryptology |
| Subjects: | |
| Online Access: | https://ojs-dev.ub.rub.de/index.php/ToSC/article/view/8753 |
| _version_ | 1819293821867917312 |
|---|---|
| author | Patrick Derbez Pierre-Alain Fouque |
| author_facet | Patrick Derbez Pierre-Alain Fouque |
| author_sort | Patrick Derbez |
| collection | DOAJ |
| description | In this paper we propose new techniques related to division property. We describe for the first time a practical algorithm for computing the propagation tables of 16-bit Super-Sboxes, increasing the precision of the division property by removing a lot of false division trails. We also improve the complexity of the procedure introduced by Lambin et al. (Design, Codes and Cryptography, 2020) to extend a cipher with linear mappings and show how to decrease the number of transitions to look for. While search procedures for integral distinguishers most often rely on MILP or SAT solvers for their ease of programming the propagation constraints, such generic solvers can only handle small 4/8-bit Sboxes. Thus we developed an ad-hoc tool handling larger Sboxes and all the improvements described in the paper. As a result, we found new integral distinguishers on SKINNY-64, HIGHT and Midori-64. |
| first_indexed | 2024-12-24T04:16:31Z |
| format | Article |
| id | doaj.art-af17a68ea0e04cd9bfd897630009413d |
| institution | Directory Open Access Journal |
| issn | 2519-173X |
| language | English |
| last_indexed | 2024-12-24T04:16:31Z |
| publishDate | 2020-12-01 |
| publisher | Ruhr-Universität Bochum |
| record_format | Article |
| series | IACR Transactions on Symmetric Cryptology |
| spelling | doaj.art-af17a68ea0e04cd9bfd897630009413d2022-12-21T17:15:56ZengRuhr-Universität BochumIACR Transactions on Symmetric Cryptology2519-173X2020-12-0120204Increasing Precision of Division PropertyPatrick Derbez0Pierre-Alain Fouque1Univ Rennes, Centre National de la Recherche Scientifique (CNRS), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Rennes, FranceUniv Rennes, Centre National de la Recherche Scientifique (CNRS), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Rennes, FranceIn this paper we propose new techniques related to division property. We describe for the first time a practical algorithm for computing the propagation tables of 16-bit Super-Sboxes, increasing the precision of the division property by removing a lot of false division trails. We also improve the complexity of the procedure introduced by Lambin et al. (Design, Codes and Cryptography, 2020) to extend a cipher with linear mappings and show how to decrease the number of transitions to look for. While search procedures for integral distinguishers most often rely on MILP or SAT solvers for their ease of programming the propagation constraints, such generic solvers can only handle small 4/8-bit Sboxes. Thus we developed an ad-hoc tool handling larger Sboxes and all the improvements described in the paper. As a result, we found new integral distinguishers on SKINNY-64, HIGHT and Midori-64.https://ojs-dev.ub.rub.de/index.php/ToSC/article/view/8753Division propertySKINNYMidoriHIGHTTools |
| spellingShingle | Patrick Derbez Pierre-Alain Fouque Increasing Precision of Division Property IACR Transactions on Symmetric Cryptology Division property SKINNY Midori HIGHT Tools |
| title | Increasing Precision of Division Property |
| title_full | Increasing Precision of Division Property |
| title_fullStr | Increasing Precision of Division Property |
| title_full_unstemmed | Increasing Precision of Division Property |
| title_short | Increasing Precision of Division Property |
| title_sort | increasing precision of division property |
| topic | Division property SKINNY Midori HIGHT Tools |
| url | https://ojs-dev.ub.rub.de/index.php/ToSC/article/view/8753 |
| work_keys_str_mv | AT patrickderbez increasingprecisionofdivisionproperty AT pierrealainfouque increasingprecisionofdivisionproperty |