Live briefing
Everything about ProVerif
Software for automated reasoning about cryptography
ProVerif is a software tool for automated reasoning about the security properties of cryptographic protocols. The tool has been developed by Bruno Blanchet and others. Wikipedia →
🧭 Start here: a 6-step reading path
- Read the overview: ProVerifA 5-minute orientation
- Skim a recent paper: Formal Verification of a Blockchain-Based Security Model for Personal Data Sharing Using the Dolev-Yao Model and ProVerifInfluential work since 2022
- Pick up a classic book: Principles of Security and TrustThe most-reprinted book on the subject
- Read the landmark paper: Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerifCited 269 times
- Go sideways: Diffie–Hellman problemA closely related topic
- Go sideways: Linked timestampingA closely related topic
📖 Definitions
No dictionary entry for this exact phrase.
🗂️ The subject at a glance
🏆 Landmark papers (most cited)
Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif
Formal Analysis of 5G EAP-TLS Authentication Protocol Using Proverif
Formal Verification of Authentication and Service Authorization Protocols in 5G-Enabled Device-to-Device Communications Using ProVerif
The Security Protocol Verifier ProVerif and its Horn Clause Resolution Algorithm
Verifying Mutual Authentication for the DLK Protocol Using ProVerif Tool
Mitigating Security Vulnerabilities in 6G Networks: A Comprehensive Analysis of the DMRN Protocol Using SVO Logic and ProVerif
How to Formalize Loop Iterations in Cryptographic Protocols Using ProVerif
ProVerif Analysis of the ZRTP Protocol
🆕 Influential since 2022
Formal Verification of a Blockchain-Based Security Model for Personal Data Sharing Using the Dolev-Yao Model and ProVerif
Optimization of ProVerif Programs for AKE Protocols
Formal Verification of PKMv3 Protocol Using ProVerif
Application of Proverif to verify the security of blockchain-based authentication and key agreement protocols for 5G networks
📚 Books worth reading
Principles of Security and TrustDavid Basin · 2013
Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProverifBruno Blanchet · 2016
Ranked by number of editions on Open Library, a rough measure of how lasting a book is.
🔗 Related topics
- Diffie–Hellman problem The Diffie–Hellman problem (DHP) is a mathematical problem first proposed by Whitfield Diffie and Martin Hellman in the context of cryptography and serves…
- Linked timestamping Linked timestamping is a type of trusted timestamping where issued time-stamps are related to each other. Each time-stamp would contain data that authenticates…
- Gödel Prize The Gödel Prize is an annual prize for outstanding papers in the area of theoretical computer science, given jointly by the European Association for Theoretical…
- Tamarin Prover Tamarin Prover is a computer software program for formal verification of cryptographic protocols. It has been used to verify Transport Layer Security 1…
- Private information retrieval In cryptography, a private information retrieval (PIR) protocol is a protocol that allows a user to retrieve an item from a server in possession of a database…
- Search-based software engineering Search-based software engineering (SBSE) applies metaheuristic search techniques such as genetic algorithms, simulated annealing and tabu search to software…
- Serge Vaudenay Serge Vaudenay (born 5 April 1968) is a French cryptographer and professor, director of the Communications Systems Section at the École Polytechnique Fédérale…
- Cross-cutting concern In aspect-oriented software development, cross-cutting concerns are aspects of a program that affect several modules, without the possibility of being…