Paper Info
Title
New Impossible Differential Search Tool from Design and Cryptanalysis Aspects - Revealing Structural Properties of Several Ciphers.
Abstract
In this paper, a new tool searching for impossible differentials is presented. Our tool can detect any contradiction between input and output differences. It can also take into account the property inside the S-box when its size is small e.g. 4 bits. This is natural for ciphers with bitwise diffusion like PRESENT, while finding such impossible differentials for ciphers with word-wise diffusion is novel. In addition, several techniques are proposed to evaluate 8-bit S-box. The tool improves the number of rounds of impossible differentials from the previous best results for Midori128, LILLIPUT, and Minalpher. The tool also finds new impossible differentials for ARIA and MIBS. We manually verify the impossibility of the searched results, which reveals new structural properties of those designs. The tool can be implemented by slightly modifying the previous differential search tool using Mixed Integer Linear Programming (MILP). This motivates us to discuss the usage of our tool particular for the design process. With this tool, the maximum number of rounds of impossible differentials can be proven under reasonable assumptions and the tool is applied to various concrete designs.
Year
DOI
Venue
2017
10.1007/978-3-319-56617-7_7
ADVANCES IN CRYPTOLOGY - EUROCRYPT 2017, PT III
Keywords
Field
DocType
Symmetric-key,Impossible differential,Mixed integer linear programming,Midori,Lilliput,Minalpher,ARIA,MIBS
Computer science,Cryptanalysis,Theoretical computer science
Conference
Volume
ISSN
Citations 
10212
0302-9743
5
PageRank 
References 
Authors
0.45
0
2
Name
Order
Citations
PageRank
Yu Sasaki124715.33
Yosuke Todo216019.09