This page is still under construction and incomplete.
Tamarin is a security protocol verification tool to identify attacks from adversaries as well as prove properties about protocols.
Tamarin uses a custom language to describe it's processes.