Software Tools

• F* : Verification system for effectful programs.
• CryptoVerif : Cryptographic protocol verifier in the computational model.
• ProVerif : Cryptographic protocol verifier in the symbolic model.
• Squirrel : Interactive prover for security protocols in the computational model.
• SAPIC+ : protocol verification platform.
• DEEPSEC : A Uniform Platform for Security Analysis of Deep Learning Model.
• AKISS : verification tool for checking trace equivalence of security protocols.
• EasyCrypt : Computer-Aided Cryptographic Proofs
• Belenios : Verifiable online voting system
• Jasmin : high-assurance and high-speed cryptography.
• Tamarin : a security protocol verification tool that supports both falsification and unbounded verification in the symbolic model.