L4Re Secure Separation Kernel CC 1.0.2
Kernkonzept GmbH - EUCC EUCC-3087-2026-3
Key facts
- Scheme
- EUCC
- Certificate
- EUCC-3087-2026-3
- Standard
- EUCC (Common Criteria)
- Assurance level
- Unknown
- Status
- active
- Manufacturer
- Kernkonzept GmbH
- Category
- OPERATING SYSTEM
- Certification scheme
- DE
- Lab
- BSI
- Certified
- April 16, 2026
- Valid until
- April 16, 2031
- Versions
- 1.0.2
Assurance requirements
- ADV_ARC.1
- ADV_FSP.4
- ADV_IMP.1
- ADV_TDS.3
- AGD_OPE.1
- AGD_PRE.1
- ALC_CMC.4
- ALC_CMS.4
- ALC_DEL.1
- ALC_DVS.1
- ALC_FLR.3
- ALC_LCD.1
- ALC_TAT.1
- ASE_CCL.1
- ASE_ECD.1
- ASE_INT.1
- ASE_OBJ.2
- ASE_REQ.2
- ASE_SPD.1
- ASE_TSS.1
- ATE_COV.2
- ATE_DPT.1
- ATE_FUN.1
- ATE_IND.2
- AVA_VAN.3
Security assurance requirements (SARs) found in the certificate documents, e.g. AVA_VAN.5 for vulnerability analysis against high attack potential. See Common Criteria EAL levels explained.
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.
Documents and sources
Source: sec-certs.org (CRoCS, Masaryk University), from NIST CMVP, the Common Criteria Portal and ENISA (EUCC) - dataset of September 22, 2026 - synced October 17, 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