Le projet POSTCRYPTUM a pour ambition d’étudier et de mettre en œuvre des solutions de
cryptanalyse des primitives cryptographiques en adoptant un angle algébrique, définissant et dé-
veloppant au passage une nouvelle classe d’attaques cryptanalytiques. La cryptanalyse algébrique consiste à modéliser un cryptosystème (ou toute méthode décrivant une attaque) sous la forme d’équations polynomiales, amenant la sécurité de celui-ci à la difficulté de la résolution du système associé. Dans cet esprit, l’exploration
du domaine nécessite de développer des outils algorithmiques originaux et performants pour la
résolution des équations à plusieurs variables.
Plus précisément, POSTCRYPTUM se concentre sur les schémas de chiffrement dont la mo-
délisation permet de se ramener à un système d’équations booléennes. La cryptanalyse de ces
schémas de chiffrement consiste à exhiber une solution satisfaisant l’ensemble des équations du
système relevant alors d’un problème de décision bien connu : le problème de la SATisfaisabilité
logique (Problème SAT). La résolution de tels systèmes d’équations s’inscrit donc au carrefour
de la cryptologie et de la programmation par contraintes et relève de la classe des problèmes
NP-Complets.
