Top 1K Features Creators Events Podcasts Books Extensions Interviews Blog Explorer CSV

ProVerif

< >
edit

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

#3163on PLDB 10Years Old

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


- Build the next great programming language 路 Add 路 Issues 路 About 路 Search 路 Keywords 路 Livestreams 路 Labs 路 Resources 路 Acknowledgements

Built with Scroll v154.3.0