Paper 2016/651

Pen and Paper Arguments for SIMON and SIMON-like Designs

Christof Beierle

Abstract

In this work, we analyze the resistance of SIMON-like ciphers against differential attacks without using computer-aided methods. In this context, we first define the notion of a SIMON-like cipher as a generalization of the SIMON design. For certain instances, we present a method for proving the resistance against differential attacks by upper bounding the probability of a differential characteristic by $2^{-2T+2}$ where $T$ denotes the number of rounds. Interestingly, if $2n$ denotes the block length, our result is sufficient in order to bound the probability by $2^{-2n}$ for all full-round variants of SIMON and Simeck. Thus, it guarantees security in a sense that, even having encryptions of the full codebook, one cannot expect a differential characteristic to hold. The important difference between previous works is that our proof can be verified by hand and thus contributes towards a better understanding of the design. However, it is to mention that we do not analyze the probability of multi-round differentials. Although there are much better bounds known, especially for a high number of rounds, they are based on experimental search like using SAT/SMT solvers. While those results have already shown that SIMON can be considered resistant against differential cryptanalysis, our argument gives more insights into the design itself. As far as we know, this work presents the first non-experimental security argument for full-round versions of several SIMON-like instances.

Metadata
Available format(s)
PDF
Category
Secret-key cryptography
Publication info
Published elsewhere. SCN 2016
DOI
10.1007/978-3-319-44618-9_23
Keywords
SIMONSimeckdifferential cryptanalysisFeistel
Contact author(s)
christof beierle @ rub de
History
2016-09-21: revised
2016-06-24: received
See all versions
Short URL
https://ia.cr/2016/651
License
Creative Commons Attribution
CC BY

BibTeX

@misc{cryptoeprint:2016/651,
      author = {Christof Beierle},
      title = {Pen and Paper Arguments for SIMON and SIMON-like Designs},
      howpublished = {Cryptology ePrint Archive, Paper 2016/651},
      year = {2016},
      doi = {10.1007/978-3-319-44618-9_23},
      note = {\url{https://eprint.iacr.org/2016/651}},
      url = {https://eprint.iacr.org/2016/651}
}
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.