Explore projects

This is a version of the SimpleEnclave example from the Intel SGX SDK with CMake instead of Makefiles

Python Utils for the SoCG 2020 CGSHOP Competition. It provides simple reading/writing tools for instances and solutions as well as checker. This library is also used internally by us in the server.

This is just the agent that accommodates the webassembly modules and allows their interactions through either sockets between agents or internally inside the same agent

Testing new runner foo before deploying it to the main branch of upstream

A RCF5050 compatible implementation for DTNs optimized for microcontrollers based on Contiki OS

Interval Arithmetic Prover Framework.

A RIOT OS fork with integration for INGA.

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

Example of an embedded WAMR runtime in an SGX-enclave and using the export native API to allow inter module/enclave communications