statverif

StatVerif: automated verifier for cryptographic protocols with state, based on ProVerif
Description