VeriCrypt-CryptoVerif est un projet open-source dédié à la vérification et au développement d'algorithmes de chiffrement. Il permet aux utilisateurs de tester et de valider des preuves de concept cryptographiques, ainsi que de créer des algorithmes de chiffrement personnalisés. Ce projet est particulièrement utile pour les professionnels de la sécurité informatique et les chercheurs en cryptographie.

Ce projet est une preuve de concept (POC) conçue pour valider des architectures techniques, des intégrations de services ou des modèles de données. Il sert principalement à tester des hypothèses fonctionnelles ou techniques avant une implémentation plus large. Aucun service métier n'est fourni, mais il illustre des capacités techniques pour des démonstrations internes ou externes.

Cadre de travail Coq dédié à la conception et à la vérification formelle de contrôleurs de mémoire DRAM. Permet aux chercheurs et ingénieurs de modéliser des architectures mémoire complexes et de valider leur comportement à l'aide de preuves formelles. Utilisé dans le cadre de travaux académiques ou industriels pour garantir la fiabilité des systèmes mémoire.