scyther-proof
scyther-proof is a security protocol verification tool based on an algorithm similar to the Scyth...
Latest release 0.10.0.1 - Updated - 8 stars