In COMMODITY12 we will build a multi-layered multi-parametric infrastructure for continuous monitoring of diabetes type 1 and 2. The COMMODITY12 system will exploit multi-parametric data to provide…
Im akademischen Bereich existieren zahlreiche Ansätze zur Analyse der logischen Korrektheit von Sicherheitsprotokollen. Computerunterstütze Ansätze basieren durchweg auf dem Dolev-Yao (DY) Modell, das…
Ziel von SeSam ist es, Grundlagen für die Entwicklung und Zertifizierung von hochsicheren Betriebssystemkomponenten zu schaffen. Insbesondere geht es um Virtualisierungslösungen für zentralisierte…
In dem hälftig von der EU und dem Cosmetics-Europe Verbund der kosmetischen Industrie geförderten Projekt “NOTOX” sollen systembiologische Werkzeuge entwickelt werden, um die toxische Langzeitwirkung…