Paper 2016/1137

New Impossible Differential Characteristic of SPECK64 using MILP

HoChang Lee, HyungChul Kang, Deukjo Hong, Jaechul Sung, and Seokhie Hong


Impossible differential attack is one of powerful methods for analyzing block ciphers. When designing block ciphers, it must be safe for impossible differential attacks. In case of impossible differential attack, the attack starts from finding the impossible differential characteristic. However, in the case of the ARX-based block cipher, these analyzes were difficult due to the addition of modulus. In this paper, we introduce 157 new six-round impossible differential characteristics of ARX-basef block cipher, SPECK64, using Mixed Integer Linear Programming (MILP) base impossible differential characteristic search proposed by Cui [3] etc.

Note: I applied some other method and got some more results.

Available format(s)
Publication info
Preprint. MINOR revision.
MILPImpossible differentialARX CipherSPECK64
Contact author(s)
lhc254 @ gmail com
2016-12-21: revised
2016-12-14: received
See all versions
Short URL
Creative Commons Attribution


      author = {HoChang Lee and HyungChul Kang and Deukjo Hong and Jaechul Sung and Seokhie Hong},
      title = {New Impossible Differential Characteristic of {SPECK64} using {MILP}},
      howpublished = {Cryptology ePrint Archive, Paper 2016/1137},
      year = {2016},
      note = {\url{}},
      url = {}
Note: In order to protect the privacy of readers, does not use cookies or embedded third party content.