Dependable Computing

Rechner, denen man vertrauen kann. Ob Industrieanlage, Fahrzeug oder Medizingerät: Heutige Anwendungen müssen zuverlässig, sicher und geschützt funktionieren, auch wenn Fehler auftreten oder jemand angreift.

Woran wir arbeiten

• Reliable Computing: Störungen, Fehler und Ausfälle erkennen und überwinden
• Secure Computing: Sicherheitslücken in Prozessoren und KI-Beschleunigern schließen
• Sicherheit ab dem Entwurf: sichere RISC-V-Prozessoren, Kryptographie-Beschleuniger und hardwarebasierte Vertrauensanker

Unser Ziel: Vertrauenswürdigkeit, die in der Hardware beginnt.

Vertrauenswürdigkeit, von der Hardware aus gedacht

Ein Rechner ist vertrauenswürdig, wenn sich sein Verhalten genau vorhersagen lässt, wenn also die Risiken, Gefahren und Bedrohungen klein sind, die zu unerwünschtem Verhalten führen könnten. Dafür braucht es ein hohes Maß an Security, Zuverlässigkeit und Safety zugleich. Wir entwickeln dafür hardwarebasierte Lösungen: verlässliche Rechnerplattformen, Sicherheit ab dem Entwurf (Security by Design) und Zuverlässigkeit in der Elektronik.

Konkret arbeiten wir an sicheren und zugleich funktional sicheren Prozessoren, an effizienten Kryptographie-Beschleunigern, an neuen hardwarebasierten Geräteidentitäten und an der Verifikation von Funktion und Sicherheit ganzer Rechnerplattformen. Das Forschungsgebiet leitet Dr.-Ing. Saleh Mulhem.

Vier Arbeitsfelder

• Vertrauenswürdige Rechnersysteme: sichere RISC-V-Prozessoren, vertrauenswürdige KI-Beschleuniger, Kryptographie-Beschleuniger und Hardware-Vertrauensanker. Mehr bei Secure Computing.
• Design for Hardware Trust: integrierte Schaltungen schützen, die über eine Lieferkette mit vielen, teils nicht vertrauenswürdigen Beteiligten entstehen, etwa gegen Hardware-Trojaner, Nachbau und Reverse Engineering.
• Systemmodelle für die Analyse der Vertrauenswürdigkeit: SystemC-Modelle von Prozessoren und Beschleunigern, an denen sich Fehlerausbreitung, Sicherheitsniveau und Safety schon früh im Entwurf untersuchen lassen.
• Zuverlässigkeit in der Elektronik: zuverlässige Beschleuniger und Systems-on-Chip bewerten und verbessern. Mehr bei Reliable Computing.