Explore projects

Main repository of the AI at the edge project

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

Aufgabe 1 des Security of Web Applications Ferienkurses.

This tool helps you to choose a Disaster Recovery Strategy and Technology for your Disaster Recovery Plan (DRP) by answering some Multiple-Choice questions.

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"

This project shows an example of the barrel algorithm used during the class Biometric Systems (SS21) in the paper "Modeling 2D contactless Finger Images from SyntheticFingerprints"

test

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