Links among impossible differential, integral and zero correlation linear cryptanalysis.(English)Zbl 1347.94059

Gennaro, Rosario (ed.) et al., Advances in cryptology – CRYPTO 2015. 35th annual cryptology conference, Santa Barbara, CA, USA, August 16–20, 2015. Proceedings. Part I. Berlin: Springer (ISBN 978-3-662-47988-9/pbk; 978-3-662-47989-6/ebook). Lecture Notes in Computer Science 9215, 95-115 (2015).
Summary: As two important cryptanalytic methods, impossible differential and integral cryptanalysis have attracted much attention in recent years. Although relations among other cryptanalytic approaches have been investigated, the link between these two methods has been missing. The motivation in this paper is to fix this gap and establish links between impossible differential cryptanalysis and integral cryptanalysis.{
} Firstly, by introducing the concept of structure and dual structure, we prove that $$a\to b$$ is an impossible differential of a structure $$\mathcal E$$ if and only if it is a zero correlation linear hull of the dual structure $$\mathcal E^\bot$$. Meanwhile, our proof shows that the automatic search tool presented by Wu and Wang could find all impossible differentials of both Feistel structures with SP-type round functions and SPN structures. Secondly, by establishing some boolean equations, we show that a zero correlation linear hull always indicates the existence of an integral distinguisher. With this observation we improve the number of rounds of integral distinguishers of Feistel structures, CAST-256, SMS4 and Camellia. Finally, we conclude that an $$r$$-round impossible differential of $$\mathcal E$$ always leads to an $$r$$-round integral distinguisher of the dual structure $$\mathcal E^\bot$$. In the case that $$\mathcal E$$ and $$\mathcal E^\bot$$ are linearly equivalent, we derive a direct link between impossible differentials and integral distinguishers of $$\mathcal E$$.{
}Our results could help to classify different cryptanalytic tools and facilitate the task of evaluating security of block ciphers against various cryptanalytic approaches.
For the entire collection see [Zbl 1319.94002].

MSC:

 94A60 Cryptography

ARIA; SNAKE
Full Text:

References:

This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.