Explore projects

Provision basic metrics exporter for prometheus monitoring tool

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

Aufgabe 1 des Security of Web Applications Ferienkurses.

CI/CD Pipelines for GitlabCI/CD and Jenkins

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)