Projekte

Die Ziele des Projektes SASPIT sind die Entwicklung einer offenen IoT-Sensorplattform mit durchgängigen Sicherheitsgarantien für die Korrektheit, …

Das Bundesamt für Sicherheit in der Informationstechnik (BSI) hat eine Studie zum Thema „Sicherheit von KI-Systemen: Symbolische und Hybride …

Im Zentrum des Projekts „Härtung der Wertschöpfungskette durch quelloffene, vertrauenswürdige EDA-Tools und Prozessoren (HEP)“ stehen …

PHYSICS’s vision is to address the aforementioned challenges and empower application developers, platform owners and infrastructure providers (e.g. …

Ziel des Projektes VerSys ist die Entwicklung einer konsistenten Entwicklungsplattform für die frühzeitige Software-Entwicklung auf Basis der …