Bibliothèque logicielle en langage C dédiée au chiffrement et déchiffrement AES-128 sur architectures ARM Cortex-M4, intégrant des contre-mesures contre les attaques par canaux auxiliaires (SCA). Conçue pour les microcontrôleurs STM32, elle permet une implémentation sécurisée des primitives cryptographiques dans des environnements embarqués contraints, notamment pour des applications critiques en cybersécurité ou en recherche académique.

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.

Bibliothèque open source dédiée à la manipulation et à l'analyse de structures de données liées aux chiffrements par flot Tagada. Elle permet de modéliser, simplifier et optimiser des opérations cryptographiques complexes comme les fonctions différentielles, les registres à décalage et les boîtes-S, facilitant ainsi la recherche et le développement en cryptographie.

Ce projet est une preuve de concept (PoC) pour la gestion sécurisée de clés cryptographiques critiques. Il permet de stocker et de partager des clés de chiffrement entre plusieurs responsables via des clés USB sécurisées. Le système impose une authentification conjointe pour accéder aux données sensibles, avec des mécanismes de délégation et de révocation des droits. Il inclut également des fonctionnalités de gestion des paires (nom et numéro de carte) et de recherche sécurisée.

Ce projet permet de gérer des données sensibles de manière sécurisée via des algorithmes de chiffrement. Il offre des fonctionnalités pour stocker, rechercher et révoquer des paires de clés cryptographiques, tout en assurant l'intégrité des informations sensibles. Les scripts automatisent les opérations de chiffrement et de gestion des accès.

Projet axé sur la recherche et le développement d'algorithmes de chiffrement avancés. Il vise à renforcer la sécurité des communications et des données en proposant des solutions innovantes et performantes. Les travaux incluent la création de structures de données et de mécanismes de permutation pour des protocoles cryptographiques modernes.

Ce projet contient le code pour l'article 'New Models for the Cryptanalysis of ASCON' qui présente de nouveaux modèles pour l'analyse de la sécurité de l'algorithme de chiffrement ASCON. Il s'agit d'une recherche en cryptographie symétrique.

Le projet deutsch-josza est une implémentation d'un algorithme quantique permettant de déterminer la parité d'une fonction booléenne en un temps polynomial, contrairement aux algorithmes classiques qui nécessitent un temps exponentiel. Cet algorithme a des applications dans l'optimisation de l'exécution d'algorithmes quantiques et dans la recherche de solutions à des problèmes de cryptographie quantique.

Ce projet propose une solution de gestion sécurisée des données bancaires via un système de chiffrement multi-clés. Deux responsables ou représentants légaux doivent chacun fournir une clé USB contenant une clé cryptographique protégée par mot de passe. L'accès aux données bancaires nécessite la combinaison des deux clés via une opération XOR, garantissant une sécurité renforcée. Le système permet d'ajouter, supprimer ou rechercher des paires nom/numéro de cartes bancaires de manière sécurisée.

Projet de recherche académique visant à développer une méthode d'attaque non supervisée contre les primitives RSA. Utilise une approche basée sur l'analyse de corrélation de collisions avec Barlow Twins pour identifier des vulnérabilités dans les implémentations cryptographiques. Destiné à la communauté scientifique pour des publications et des évaluations de sécurité.