Explore projects

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

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

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

Aufgabe 1 des Security of Web Applications Ferienkurses.

Main repository of the AI at the edge project

Common Code that is used in the Version 2.0 of the Pi-Lab Management System. (i.e. inside the microservices and bootloader)