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)

Ret2LibC Challenge for the Hacker Contest SS2021

test

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