1 Search Results
statverif
StatVerif: automated verifier for cryptographic protocols with state, based on ProVerif