Explore projects

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)

Kleines script fürs schnelle setup von neovim