kelnage / tamarin-prover Goto Github PK
View Code? Open in Web Editor NEWThis project forked from tamarin-prover/tamarin-prover
A development repository of the Tamarin prover for security protocol verification.
Home Page: http://www.infsec.ethz.ch/research/software/tamarin
License: GNU General Public License v3.0