L4Re Secure Separation Kernel, Version CC 1.0.2
Kernkonzept GmbH - Common Criteria BSI-DSZ-CC-1177-V2-2026
activeEAL4+
Key facts
- Scheme
- Common Criteria
- Certificate
- BSI-DSZ-CC-1177-V2-2026
- Standard
- Common Criteria
- Assurance level
- EAL4+, ALC_FLR.3
- Status
- active
- Manufacturer
- Kernkonzept GmbH
- Category
- Operating Systems
- Certification scheme
- DE
- Lab
- BSI
- Certified
- April 16, 2026
- Valid until
- April 15, 2031
- Versions
- 1.0.2
CVEs that may affect this product
sec-certs has not matched any CVE to this certificate. That is not proof the product is unaffected.
Related CVEs and certificate references are automated matches by sec-certs, not reviewed by humans: treat them as "may be affected" and verify before acting.
Certificates it builds on
- BSI-DSZ-CC-1177-2025
Certificate ids found in this certificate's documents (automated extraction).
Documents and sources
Source: sec-certs.org (CRoCS, Masaryk University), from NIST CMVP and the Common Criteria Portal - dataset of September 10, 2026 - synced October 15, 2026
Check certifications from your AI assistant
The Security Certifications Explorer answers FIPS 140-3 and Common Criteria questions directly inside Claude, ChatGPT, or any MCP assistant, and links each certificate to the CVEs that may affect it.
Add the certifications brain