CLEARSY supports major companies in the microelectronics industry with certification under the Common Criteria, an international standard (ISO/IEC 15408) that serves as a benchmark for the development and evaluation of information products and systems that handle sensitive data. This certification is specifically designed to ensure confidentiality, integrity, and availability of information. CLEARSY is involved in EAL6 and EAL6+ evaluations.
CLEARSY’s role is to develop formal models, i.e. explicit mathematical descriptions of the system, its data, its behaviors, and its expected properties, in order to provide logical proofs of compliance, safety, and security.These models provide formal evidence that certified products comply with the defined security policy, namely the set of rules and requirements designed to protect data and safeguard the system’s sensitive functions.
Upon completion of the evaluation, ANSSI issues the certification attesting to the security level achieved by the product.