Computing AES related-key differential characteristics with constraint programming - Université Claude Bernard Lyon 1 Accéder directement au contenu
Article Dans Une Revue Artificial Intelligence Année : 2020

Computing AES related-key differential characteristics with constraint programming

Résumé

Cryptanalysis aims at testing the properties of encryption processes, and this usually implies solving hard optimization problems. In this paper, we focus on related-key differential attacks for the Advanced Encryption Standard (AES), which is the encryption standard for block ciphers. To mount these attacks, cryptanalysts need to solve the optimal related-key differential characteristic problem. Dedicated approaches do not scale well for this problem, and need weeks to solve its hardest instances. In this paper, we improve existing Constraint Programming (CP) approaches for computing optimal related-key differential characteristics: we add new constraints that detect inconsistencies sooner, and we introduce a new decomposition of the problem in two steps. These improvements allow us to compute all optimal related-key differential characteristics for AES-128, AES-192 and AES-256 in a few hours.
Fichier principal
Vignette du fichier
main.pdf (489.22 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02327893 , version 1 (23-10-2019)

Licence

Paternité

Identifiants

Citer

David Gérault, Pascal Lafourcade, Marine Minier, Christine Solnon. Computing AES related-key differential characteristics with constraint programming. Artificial Intelligence, 2020, 278, pp.103183 (24). ⟨10.1016/j.artint.2019.103183⟩. ⟨hal-02327893⟩
608 Consultations
1015 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More