Projects

SASPIT – A Safe and Secure Sensor Platform for the Internet of Things

The goals of the SASPIT project are to develop an open IoT sensor platform with end-to-end security guarantees for the correctness, integrity and …

ECXL – An Extensible and Consistent Cross-Level RISC-V Verification Platform

The goal of the ECXL project is to develop a design and verification platform for RISC-V based systems. The verification platform will allow models on …

VE-HEP – Hardening the Supply Chain through Open Source, Trustworthy EDA Tools and Processors

The project "Hardening the Supply Chain through Open Source, Trusted EDA Tools and Processors (HEP)" focuses on RISC-V processors. RISC-V is a new, …

VerSys – A Sound Verification Platform for Early Software Development for RISC-V based Systems

The aim of the VerSys project is to develop a consistent platform for early software development based on RISC-V technology, an instruction set …

aiPhilos – Developing a search engine for the B2C area using artificial intelligence.

The goal of the project is to adapt the results of the projects "KI-Suche" to the B2C area. In doing so, search queries from mobile devices to diverse …

CONVERS – Design Automation Tool for Complex Electronic Systems

In order to design systems efficiently, the correct and safe functioning of the entire system has to be ensured as early as possible in the design …

SELFIE – Self-Verification of Electronic Systems

The exponential growth of the complexity of electronic systems makes it increasingly diffult to prove their correctness (verification). Addressing …

MANIAC – BDD Manipulation for Approximate Computing

The project MANIAC aims to optimise algorithms for approximate computing on the basis of binary decision diagrams. Approximate computing (AC) exploits …

SaferApps – Safe Execution of Foreign Application in an Enterprise Infrastructure

The project aims at the development and implementation of appropriate security policies and mechanisms that allow one to incrementally integrate …

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

MORES2 aims at the development of appropriate refinement techniques for workflow specifications. In particular, the notion of refinement to be …