benjaminkiesl/tamarin_toy_protocol

A set of exercises for getting started with the Tamarin prover