Explore projects

Praktikum IT-Sicherheit

External storage plugins, provisioners, and helper libraries https://github.com/kubernetes-incubator/external-storage

The FRRouting Protocol Suite https://frrouting.org/

Implementation of a functional non-linear polynomial-regression on Tensorflow 2.0

goSDN is an SDN controller that follows a modern software architecture design and a well-documented implementation written in Go.

A Tamarin model and security proofs for AUTOSAR Secure Onboard Communication (SecOC)

Tamarin models and security proofs for the paper "Integrating Privacy into the Electric Vehicle Charging Architecture"

Praktika PAD 1 aus dem ersten Semester (WS20/21)

Tamarin models for the paper "Analyzing and Securing SOME/IP Automotive Services with Formal and Practical Methods"