Projet dédié à la cryptographie post-quantique, offrant des outils pour générer des clés cryptographiques sécurisées et des algorithmes de chiffrement résistants aux attaques quantiques. Il permet aux développeurs et chercheurs de sécuriser leurs communications et données contre les futures menaces des ordinateurs quantiques.

Cette bibliothèque fournit des outils mathématiques formalisés pour aider à la vérification d'implémentations cryptographiques. Elle permet aux développeurs et chercheurs de s'assurer que les algorithmes cryptographiques respectent des propriétés de sécurité strictes, réduisant ainsi les risques de vulnérabilités dans les systèmes critiques comme les protocoles de communication ou les infrastructures sécurisées.

Ce projet permet de transformer un texte saisi dans une interface en un signal sonore crypté, puis de le transmettre à une autre interface qui décrypte ce son pour retranscrire le texte original. Il s'agit d'un outil pédagogique conçu pour initier à l'ingénierie des systèmes de communication sécurisés, en utilisant des principes de cryptographie et de transmission de données.

OpenSSL est une bibliothèque open source dédiée à la sécurisation des communications réseau. Elle permet aux développeurs de créer des applications capables de chiffrer les échanges de données, garantissant ainsi confidentialité et intégrité. Utilisée dans de nombreux services en ligne, elle est essentielle pour les protocoles comme HTTPS, SSL/TLS ou encore pour la gestion de certificats numériques. Ce projet facilite l'implémentation de mécanismes cryptographiques robustes sans nécessiter une expertise approfondie en sécurité.

Ce projet permet de sécuriser des communications en utilisant l'algorithme de chiffrement RSA, tout en corrigeant les erreurs potentielles dans les messages transmis grâce à un code correcteur intégré. Il combine cryptographie et fiabilité pour garantir l'intégrité et la confidentialité des données échangées.

ProVerif est un outil dédié à la vérification automatique de propriétés de sécurité des protocoles cryptographiques. Il permet de modéliser et d'analyser des protocoles pour détecter des vulnérabilités potentielles, garantissant ainsi leur robustesse face aux attaques. Utilisé dans la recherche académique et industrielle, il aide à sécuriser les communications et les échanges de données.

Le projet openpgp est une bibliothèque de cryptographie offrant des fonctionnalités de chiffrement, de déchiffrement et de signature de données. Il permet de sécuriser les communications numériques et de protéger les données sensibles contre les accès non autorisés. Il est basé sur le standard OpenPGP et offre une API pour une intégration facile dans d'autres applications.