Les algorithmes de chiffrement symétrique par bloc (tel que AES) garantissent la confidentialité des communications en utilisant une clé secrète pour chiffrer un texte initial en un texte chiffré, de telle sorte que le texte chiffré puisse être déchiffré en utilisant

la même clé. La cryptanalyse différentielle évalue s'il est possible de retrouver de façon plus efficace qu'une attaque brute force en étudiant la propagation des différences à travers le chiffrement. Des approches CP ont été récemment utilisées pour résoudre ces problèmes en deux étapes. La première étape étant généralement résolue par un solveur SAT / MILP et la seconde par un solveur CP. Nous proposons des améliorations possibles en inter-connectant de façon plus efficace les deux étapes et en amélioration la modélisation de certains opérateurs du chiffrement AES.