proverif-lang is an actively used programming language created in 2014. ProVerif is an automatic cryptographic protocol verifier, in the formal model (so called Dolev-Yao model).

6Years Old ?Users ?Jobs
  • proverif-lang first appeared in 2014
  • proverif-lang was created by Bruno Blanchet
  • file extensions for proverif-lang include pv
  • Have a question about proverif-lang not answered here? Email me and let me know how I can help.

Last updated August 9th, 2020

Edit proverif-lang on GitHub