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

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

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"

CI/CD Pipelines for GitlabCI/CD and Jenkins