Latest press releases

5.5.2021

Extended Trustworthiness through binary verification of seL4® microkernel on RISC-V® processor architecture

READ ARTICLE
14.04.2021

Secure and sovereign: Open-source processor designs boosted by new HEP project delivering free verification tools

READ ARTICLE
15.05.2020

HENSOLDT Cyber presents MiG-V – the first RISC-V Processor „Made in Germany“ for Security Applications

READ ARTICLE
05.05.2020

Das große Umdenken: Sichere IT ist wichtig – nicht nur in Krisenzeiten

LESEN
05.02.2020

Bayerischer RISC-V Sicherheitschip mit seL4® Microkernel

LESEN