Explore projects

bbbload

Abgabe des Mini-Projekts für den Ferienkurs "Bildverarbeitung in Java".

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

Praktika PAD 1 aus dem ersten Semester (WS20/21)

Tamarin models for the paper "Analyzing and Securing SOME/IP Automotive Services with Formal and Practical Methods"