A dockerized ztpserver and some config
Freie Aufgabe CV Praktikum
CI/CD Pipelines for GitlabCI/CD and Jenkins
Aufgabe 1 des Security of Web Applications Ferienkurses.
Tamarin models for the paper "Analyzing and Securing SOME/IP Automotive Services with Formal and Practical Methods"
A Tamarin model and security proofs for AUTOSAR Secure Onboard Communication (SecOC)
This is a practice project provided to us in the Software Engineering lecture. It was used to put newly acquired knowledge into practice.
Ret2LibC Challenge for the Hacker Contest SS2021
Praktika PAD 1 aus dem ersten Semester (WS20/21)