easycrypt
Automated toolset designed for reasoning about relational properties of probabilistic computations, particularly in the context of adversarial code. It supports the machine-checked construction and verification of security proofs for cryptographic systems, differentiating itself by providing rigorous, formal verification methods. EasyCrypt is primarily used by cryptographers and researchers focused on ensuring the security and reliability of cryptographic schemes and designs.