CryptoCeVerif

Un outil unifié de certification et de vérification de la cryptographie (CryptoCeVerif) avec un ensemble d’outils dédiés à la cryptographie, basé sur des normes et des architectures ouvertes. CryptoCeVerif vise à améliorer et à automatiser divers aspects cruciaux du SDLC de la sécurité, tels que l’ingénierie des exigences et la vérification et la validation des logiciels cryptographiques, y compris les constructions vérifiables et reproductibles, avec la prise en charge de la liaison dynamique des actifs et des artefacts logiciels dans des environnements hétérogènes, par exemple le code source au cas de test et la liaison des exigences avec des évaluateurs de relations intégrés (par exemple, la détection des boucles, les calculateurs de couverture).