Tiempo Secure TESIC Secure Element IP has been developed according to these guidelines and already integrated into a silicon chip that has been certified Common Criteria EAL 5+ by the CEA Leti ITSEF ...

a unique supplier of ISO/IEC 15408 standard CC (Common Criteria) EAL5+ (Evaluation Assurance Level) grade secure element IP, to bring the RISC-V based security solution up to CC EAL5+ certification.