SVP PEPR Cybersécurité

PEPR Cybersecurity Security Verification Protocol

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.