Ce projet contient des programmes permettant d'analyser et de vérifier des protocoles de cryptographie modulaire, développés dans le cadre de la rédaction de l'article [Lattice-Based Cryptanalysis of Modular Exponentiation Outsourcing Protocols](https://hal.archives-ouvertes.fr/hal-03209303). Il a été testé avec la version 9.2 de SageMath.