A General Proof Framework for Recent AES Distinguishers
In this paper, a new framework is developed for proving and adapting the recently proposed multiple-of-8 property and mixture-differential distinguishers. The above properties are formulated as immediate consequences of an equivalence relation on the input pairs, under which the difference at the ou...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Ruhr-Universität Bochum
2019-03-01
|
| Series: | IACR Transactions on Symmetric Cryptology |
| Subjects: | |
| Online Access: | https://tosc.iacr.org/index.php/ToSC/article/view/7401 |
| _version_ | 1818909087956467712 |
|---|---|
| author | Christina Boura Anne Canteaut Daniel Coggia |
| author_facet | Christina Boura Anne Canteaut Daniel Coggia |
| author_sort | Christina Boura |
| collection | DOAJ |
| description | In this paper, a new framework is developed for proving and adapting the recently proposed multiple-of-8 property and mixture-differential distinguishers. The above properties are formulated as immediate consequences of an equivalence relation on the input pairs, under which the difference at the output of the round function is invariant. This approach provides a further understanding of these newly developed distinguishers. For example, it clearly shows that the branch number of the linear layer does not influence the validity of the property, on the contrary of what was previously believed. We further provide an extension of the mixture-differential distinguishers and multiple-of-8 property to any SPN and to a larger class of subspaces. These adapted properties can then be exhibited in a systematic way for other ciphers than the AES. We illustrate this with the examples of Midori, Klein, LED and Skinny. |
| first_indexed | 2024-12-19T22:21:21Z |
| format | Article |
| id | doaj.art-f725514bd081428e9832888a540b402f |
| institution | Directory Open Access Journal |
| issn | 2519-173X |
| language | English |
| last_indexed | 2024-12-19T22:21:21Z |
| publishDate | 2019-03-01 |
| publisher | Ruhr-Universität Bochum |
| record_format | Article |
| series | IACR Transactions on Symmetric Cryptology |
| spelling | doaj.art-f725514bd081428e9832888a540b402f2022-12-21T20:03:37ZengRuhr-Universität BochumIACR Transactions on Symmetric Cryptology2519-173X2019-03-012019110.13154/tosc.v2019.i1.170-191A General Proof Framework for Recent AES DistinguishersChristina Boura0Anne Canteaut1Daniel Coggia2Inria; University of VersaillesInriaDirection Générale de l’Armement; InriaIn this paper, a new framework is developed for proving and adapting the recently proposed multiple-of-8 property and mixture-differential distinguishers. The above properties are formulated as immediate consequences of an equivalence relation on the input pairs, under which the difference at the output of the round function is invariant. This approach provides a further understanding of these newly developed distinguishers. For example, it clearly shows that the branch number of the linear layer does not influence the validity of the property, on the contrary of what was previously believed. We further provide an extension of the mixture-differential distinguishers and multiple-of-8 property to any SPN and to a larger class of subspaces. These adapted properties can then be exhibited in a systematic way for other ciphers than the AES. We illustrate this with the examples of Midori, Klein, LED and Skinny.https://tosc.iacr.org/index.php/ToSC/article/view/7401AESDistinguisherSubspace Trail Cryptanalysis |
| spellingShingle | Christina Boura Anne Canteaut Daniel Coggia A General Proof Framework for Recent AES Distinguishers IACR Transactions on Symmetric Cryptology AES Distinguisher Subspace Trail Cryptanalysis |
| title | A General Proof Framework for Recent AES Distinguishers |
| title_full | A General Proof Framework for Recent AES Distinguishers |
| title_fullStr | A General Proof Framework for Recent AES Distinguishers |
| title_full_unstemmed | A General Proof Framework for Recent AES Distinguishers |
| title_short | A General Proof Framework for Recent AES Distinguishers |
| title_sort | general proof framework for recent aes distinguishers |
| topic | AES Distinguisher Subspace Trail Cryptanalysis |
| url | https://tosc.iacr.org/index.php/ToSC/article/view/7401 |
| work_keys_str_mv | AT christinaboura ageneralproofframeworkforrecentaesdistinguishers AT annecanteaut ageneralproofframeworkforrecentaesdistinguishers AT danielcoggia ageneralproofframeworkforrecentaesdistinguishers AT christinaboura generalproofframeworkforrecentaesdistinguishers AT annecanteaut generalproofframeworkforrecentaesdistinguishers AT danielcoggia generalproofframeworkforrecentaesdistinguishers |