sgiampietro

Pinned Repositories

tamarin-prover
Main source code repository of the Tamarin prover for security protocol verification.
Language:Haskell00
tamarin-tutorial
Tamarin Prover Tutorial for the 2024 Summer School on real-world crypto and privacy, Vodice, Croatia
6 1 11

sgiampietro's Repositories

sgiampietro/tamarin-tutorial
Tamarin Prover Tutorial for the 2024 Summer School on real-world crypto and privacy, Vodice, Croatia
6 1 11
sgiampietro/tamarin-prover
Main source code repository of the Tamarin prover for security protocol verification.
Language:Haskell00