GSVerif

Front-end to the automatic verifier of cryptographic protocol ProVerif that improve the verification of protocol with global states.