Projects

Search narrowed by:

Displaying results 1 to 5 of 5.

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 …
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". …
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. …
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 …