Ce projet est une implémentation logicielle associée à une publication scientifique en cryptographie quantique. Il permet d'analyser et d'optimiser des attaques par requête unique sur des algorithmes de chiffrement modernes comme Rocca, Rocca-S, Tiaoxin et AEGIS. Les outils développés génèrent des formules mathématiques et calculent des paramètres d'attaque pour évaluer la robustesse des systèmes cryptographiques face à des attaques quantiques.

Outil spécialisé dans le calcul des tables de contraintes pour l'abstraction d'opérateurs cryptographiques de type Tagada. Il permet d'analyser et de générer des données nécessaires à la compréhension et à l'optimisation des fonctions de chiffrement, facilitant ainsi la recherche et le développement en cryptographie.

Ce projet se concentre sur l'optimisation et l'accélération de calculs intensifs liés au minage de données et à la résolution de problèmes mathématiques complexes. Il propose des méthodes de prétraitement, de partitionnement et de calcul parallèle pour traiter des volumes de données importants, tout en gérant des données corrompues ou partielles. Les solutions développées visent à améliorer l'efficacité des algorithmes existants, notamment pour des applications en cryptographie ou en analyse de données.

FPMM est un générateur open source de multiplieurs modulaires finement pipelinés pour FPGA. Il permet de créer des opérateurs matériels optimisés pour les calculs cryptographiques, notamment basés sur l'algorithme de Montgomery. Le projet facilite l'exploration de configurations variées pour adapter les performances aux besoins spécifiques des concepteurs de circuits spécialisés.

GMP-ECM est un outil spécialisé dans la factorisation de grands nombres entiers en utilisant des algorithmes avancés comme ECM (Elliptic Curve Method), P-1 et P+1. Il est largement utilisé en cryptographie, en théorie des nombres et pour la vérification de la primalité de grands nombres. Le projet permet d'optimiser les calculs en ajustant des paramètres comme les bornes B1 et B2 pour maximiser l'efficacité.