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.