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