Explore projects

A dockerized ztpserver and some config

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"

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

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