Bayrischer RISC-V-Sicherheitschip mit seL4-Microkernel

2020-02-05 18:02

Hensoldt Cyber entwickelt einen Chip für hohe Sicherheitsanforderungen mit RISC-V-Kernen und formal verifiziertem Microkernel.

Advertise on IT Security News.

Lesen Sie den ganzen Artikel: Bayrischer RISC-V-Sicherheitschip mit seL4-Microkernel

Related

← Sicherheit geht anders: Forscher findet erneut Backdoor in Firmware von Huawei-Tochter Hisilicon

IT Sicherheitsnews taegliche Zusammenfassung 2020-02-05 →