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

Lese weiter auf: Bayrischer RISC-V-Sicherheitschip mit seL4-Microkernel
Quelle: heise online | Security
Titelbild/Grafik by heise online | Heise Medien GmbH & Co. KG

Kommentare und Fragen
Möchten Sie zu diesem Artikel ein Kommentar abgeben oder haben dazu eine Frage, dann machen Sie dies bitte immer auf der Herausgeberseite!
Weiteres von heise online | Security

Die folgenden Hinweise erscheinen unabhängig vom Artikel!

Glauben Sie, dass Ihre Freunde diese Information noch nicht kennen? Teilen Sie diese mit ihnen.