CryptoCeVerif

Posted December 2023 by & filed under Products under Development.

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).

OpenARIANA

Posted December 2023 by & filed under Products under Development.

OpenARIANA helps to write security policies and procedures. By structuring information that generally comes from ISO standards, combining it and customizing it according to a company’s needs, it generates policies in the format desired by the customer, and templates to document observations and decisions of an auditor.