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 …

Adra-e – AI, Data and Robotics ecosystem

Adra-e - Supporting the AI, Data and Robotics Community in the Development of a Sustainable European Ecosystem Adra-e is a Coordination and Support …

BSI_SiKI2 – Studie: Sicherheit von KI-Systemen - TP 2: Symbolische und Hybride KI-Methoden

The Federal Office for Information Security (BSI) has commissioned a study on the topic of "Security of AI systems: Symbolic and Hybrid AI Methods". …

ESA - CREAM – Software Technologies Supporting CREAM

This activity aims at establishing the communication architecture of a potential, future CREAM (Collision Risk Estimation and Automated Mitigation) …

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, …

PHYSICS – Optimized hybrid space-time service continuum in FAAS

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

AI@EDGE – A secure and reusable Artificial Intelligence platform for Edge computing in beyond 5G Networks

Artificial Intelligence has become a major innovative force and it is one of the pillars of the fourth industrial revolution. This trend has been …

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 …