SKINNY with Scalpel Comparing Tools for Differential Analysis - IMT Atlantique Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2020

SKINNY with Scalpel Comparing Tools for Differential Analysis

Patrick Derbez
  • Fonction : Auteur
  • PersonId : 974006
Paul Huynh
  • Fonction : Auteur
  • PersonId : 1084363
Victor Mollimard
  • Fonction : Auteur
  • PersonId : 1049325
Charles Prud'Homme

Résumé

Evaluating resistance of ciphers against differential cryptanalysis is essential to define the number of rounds of new designs and to mount attacks derived from differential cryptanalysis. In this paper, we compare existing automatic tools to find the best differential characteristic on the SKINNY block cipher. As usually done in the literature, we split this search in two stages denoted by Step 1 and Step 2. In Step 1, each difference variable is abstracted with a Boolean variable and we search for the value that minimizes the trail weight, whereas Step 2 tries to instantiate each difference value while maximizing the overall differential characteristic probability. We model Step 1 using a MILP tool, a SAT tool, an ad-hoc method and a CP tool based on the Choco-solver library and provide performance results. Step 2 is modeled using the Choco-solver as it seems to outperform all previous methods on this stage. Notably, for SKINNY-128 in the SK model and for 13 rounds, we retrieve the results of Abdelkhalek et al. within a few seconds (to compare with 16 days) and we provide, for the first time, the best differential relatedtweakey characteristic up to respectively 14 and 12 rounds for the TK1 and TK2 models.
Fichier principal
Vignette du fichier
article-eprint.pdf (435.31 Ko) Télécharger le fichier
Codes.zip (9.89 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03040548 , version 1 (04-12-2020)
hal-03040548 , version 2 (15-04-2021)

Identifiants

  • HAL Id : hal-03040548 , version 1

Citer

Stéphanie Delaune, Patrick Derbez, Paul Huynh, Marine Minier, Victor Mollimard, et al.. SKINNY with Scalpel Comparing Tools for Differential Analysis. 2020. ⟨hal-03040548v1⟩
845 Consultations
826 Téléchargements

Partager

Gmail Facebook X LinkedIn More