Projekte

SASPIT – Eine Sichere Sensorplattform für das Internet der Dinge

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

ECXL – Eine erweiterbare und konsistente ebenenübergreifende RISC-V Verifikationsplattform

Ziel des Projektes ECXL ist die Entwicklung einer Entwurfs- und Verifikationsplattform für RISC-V-basierte Systeme. Die Verifikationsplattform erlaubt …

VE-HEP – Härtung der Wertschöpfungskette durch quelloffene, vertrauenswürdige EDA-Tools und Prozessoren

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

VerSys – Eine konsistente Verifikationsplattform zur frühen Softwareentwicklung für RISC-V-basierte Systeme

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

aiPhilos – KI-Suche für den B2C-Bereich

Ziel des Projektes ist die Übertragung der Ergebnisse des Projektes „KISuche“ auf den B2C-Bereich. Dabei sollen am Ende über mobile Endgeräte in …

CONVERS – Entwurfsautomatisierung für komplexe Elektroniksysteme

Um Systeme effizient zu entwerfen, muss die korrekte und sichere Funktionsweise des Gesamtsystems in möglichst frühen Entwurfsphasen nachgewiesen …

SELFIE – Selbstverifikation von Elektronischen Systemen

Das exponentielle Wachstum der Komplexität elektronischer Systeme erschwert den Nachweis der Korrektheit (Verifikation) dieser Systeme zusehends. Ziel …

MANIAC – Manipulation von BDDs für Approximate Computing

Das Projekt MANIAC zielt auf die Optimierung von Algorithmen für Approximate Computing auf Basis von Binären Entscheidungsdiagrammen. Approximate …

SaferApps – Sichere Ausführung von Fremdapplikationen in einer Unternehmensinfrastruktur

Ziel des Projekts ist die Entwicklung und Umsetzung geeigneter Sicherheitspolitiken, die es erlauben, inkrementell Softwarepakete in bestehende …

MORES2 – Modelling and Refinement of Security Requirements on Data and Processes 2

Das Projekt MORES2 zielt auf die Entwicklung geeigneter Verfeinerungstechniken für Workflow-Spezifikationen. Dabei müssen zum einen die verschiedenen …