Projekte

SMILE – Smart Environments als Kontext motivierender Lernangebote für einen wachsenden Anteil von Informatikerinnen

Ziel von SMILE ist die nachhaltige Erhöhung des Anteils der Frauen, die ein Studium der Informatik aufnehmen sowie die Senkung der Abbruchquoten, um …

SecRec – Security by Reconfiguration - Physikalische Sicherheit durch dynamische Hardware-Rekonfiguration

Field-Programmable Gate Arrays bieten eine effiziente Plattform für kryptographische Hardwareimplementierungen. Trotz derer Vorteile, muss jedoch jede …

ModEst_RD – Rollator-Modul zur Haltungs-Erkennung und Sturz-Prävention

Rollatoren nehmen im Alltag vieler Menschen eine bedeutende Rolle ein und die korrekte Benutzung muss richtig erlernt und kontinuierlich geübt werden. …

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 …

WaRoBema – Wartbares rollenbasiertes Berechtigungsmanagement

Der Industriepartner hat in verschiedenen Anwendungen Konzepte der rollenbasierten Zugriffskontrolle (RBAC) und Sicherheitsregeln umgesetzt, mit denen …

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 …

KI-Suche – Entwicklung einer den Prinzipien der Künstlichen Intelligenz folgenden Suchmaschine

eProcurementsysteme erlauben eine effiziente sowie finanziell und personell kostengünstige Abwicklung von Beschaffungsvorgängen in Unternehmen. …

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 …

HYSOCIATEA – Hybrid Social Teams for Long-Term Collaboration in Cyber-Physical Environments

Das vom Bundesministerium für Bildung und Forschung (BMBF) geförderte Projekt HySociaTea (Hybrid Social Teams for Long-Term Collaboration in …