Explore projects

Main repository of the AI at the edge project

A dockerized ztpserver and some config

A go package implementing an prototypical Key Management System (KMS) in conjunction with an emluated quantum link element.

Hausaufgabe 1&2 des Moduls

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

Aufgabe 1 des Security of Web Applications Ferienkurses.

A simple datastore application speaking Thrift, gRPC and TCP+ProtoBuf for the exam 2020/2021