Geranfar, Bagheri, H. N. (2021). Tamarin Prover  (Version 2.0.4) [Computer software]. https://doi.org/10.5281/zenodo.1234