CryptoCeVerif

A unified Cryptography Certification and Verification tool (CryptoCeVerif) with a dedicated set of cryptography-oriented tools, based on open standards and architectures. CryptoCeVerif is aimed at enhancing and automating various crucial aspects of security SDLC such as requirements engineering and cryptographic software verification and validation comprising verifiable and reproducible builds, with support for dynamic asset and SW artefact linking in heterogenous environments, e.g., source code to test case and requirements linking with built-in relation evaluators (e.g., loop detection, coverage calculators).