Explore projects

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

Aufgabe 1 des Security of Web Applications Ferienkurses.

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

Hausaufgabe 1&2 des Moduls