Projects

Displaying results 1 to 3 of 3.

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 …
SCRATCh – SeCuRe and Agile Connected Things

The development and operation of secure, large-scale IoT systems is difficult. Technological platforms providing the necessary building blocks to …
SecProPort – Scalable Security Architectures for Commercial Workflows in German Harbors

Modern sea as well as domestic ports are more and more controlled by IT-systems. Each of the players involved in port operations (like terminal …