English Tamarin Prover Cited by user Mpdehnel on 24 Sep 2017 The Tamarin Prover is a security protocol verification tool that supports both falsification and unbounded verification in the symbolic model.