Explore projects

Program slicing for C code using Frama-C

Repository of SS17 Project group "Trusted Communication Module" Overlay networks group

Examples for developers that get started with RelayMQ

Examples for developers that get started with RelayMQ

Examples for developers that get started with RelayMQ

This git project is maintained for the project group Trusted communication module. We are a sub-team doing changes for clock synchronisation module.

Extension for ZeroMQ that provides authenticated connections between nodes.

Extension for ZeroMQ that provides authenticated connections between nodes.

OpenCL Wrapper library for PADrend

OpenSSL with forward secret session resumption in TLS 1.3.