Explore projects

Open-source implementation of the ETSI C-ITS protocol stack

Some guides for students, e.g., for using the workstations.

Initial repo for the utilities for CG:SHOP 23. Now on GitHub.

Proof-of-Concept of having a binary spawn multiple different Apache Teaclave Rust SGX SDK Enclaves. Now part of the ds-bft-split/themis repo.

A Library to Access SMI MIB Information

Interval Arithmetic Prover Framework.