Languages Features Creators Calendar CSV Resources Blog About Pricing Add Language
GitHub icon

ProVerif

ProVerif - Programming language

< >

ProVerif is a programming language created in 2014 by Bruno Blanchet.

#4282on PLDB 9Years Old 0Books
0Papers

ProVerif is an automatic cryptographic protocol verifier, in the formal model (so called Dolev-Yao model).


proto-gnosis.html 路 proverif-lang.html 路 proxy.html

View source

- Build the next great programming language Search v2023 Day 205 Docs Acknowledgements Traffic Traffic Today Mirrors GitHub feedback@pldb.com