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).
- 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