◦
Tamarin Prover Introduction
blog
I’ve made a quick intro on Tamarin Prover, which is a protocol verification tool. I just wanted to show people how practical and fun it looks =)
suggested reads: