A CP-based Automatic Tool for Instantiating Truncated Differential Characteristics ⋆ - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

A CP-based Automatic Tool for Instantiating Truncated Differential Characteristics ⋆

Résumé

An important criteria to assert the security of a cryptographic primitive is its resistance against differential cryptanalysis. For word-oriented primitives, a common technique to determine the number of rounds required to ensure the immunity against differential distinguishers is to consider truncated differential characteristics and to count the number of active S-boxes. Doing so allows one to provide an upper bound on the probability of the best differential characteristic with a reduced computational cost. However, in order to design very efficient primitives, it might be needed to evaluate the probability more accurately. This is usually done in a second step, during which one tries to instantiate truncated differential characteristics with actual values and computes its corresponding probability. This step is usually done either with ad-hoc algorithms or with CP, SAT or MILP models that are solved by generic solvers. In this paper, we present a generic tool for automatically generating these models to handle all word-oriented ciphers. Furthermore the running times to solve these models are very competitive with all the previous dedicated approaches.
Fichier principal
Vignette du fichier
paper_78-1.pdf (410.37 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04343593 , version 1 (13-12-2023)

Licence

Paternité

Identifiants

  • HAL Id : hal-04343593 , version 1

Citer

François Delobel, Patrick Derbez, Arthur Gontier, Loïc Rouquette, Christine Solnon. A CP-based Automatic Tool for Instantiating Truncated Differential Characteristics ⋆. INDOCRYPT 2023 - 24th International Conference on Cryptology in India, Dec 2023, Goa, India. pp.1-23. ⟨hal-04343593⟩
59 Consultations
49 Téléchargements

Partager

Gmail Facebook X LinkedIn More