Projet académique visant à analyser et comparer les performances et la sécurité des algorithmes cryptographiques face aux attaques par canaux auxiliaires. Il propose des outils pour évaluer les fuites temporelles et valider des propriétés de mémoire constante, notamment via des modes sécurisés (exposé, verrouillé, sans branchement, etc.). Les résultats sont générés sous forme de fichiers CSV pour faciliter l'analyse comparative.