Main source code repository of the Tamarin prover for security protocol verification. - View it on GitHub