gNMI Target using randomly supported YANG models

OCI/Docker images for use with GitLab CI/CD

Ret2LibC Challenge for the Hacker Contest SS2021

exam

A dockerized ztpserver and some config

Main repository of the AI at the edge project

Git Projekt für Betriebssysteme

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

Aufgabe 1 des Security of Web Applications Ferienkurses.

WIP: distributed system to simulate supply-chain monitoring