2026-07-22T00:03:58Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:26789 2026-07-09T11:31:08Z ddc:004 open_access

Formal Verification of Security Protocols: 25 Years of ProVerif (Invited Paper) Delaune, Stéphanie Security protocols Formal verification Cryptographic protocols are essential to secure communication but remain difficult to design correctly, motivating the need for rigorous verification methods. This paper provides a brief overview of symbolic verification techniques, focusing on the evolution and impact of the tool ProVerif over the past 25 years. We discuss its core principles, key extensions for richer security properties, and recent work on handling algebraic theories such as exclusive-or (XOR). We conclude by highlighting ongoing challenges, including usability and interoperability between verification approaches. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Stéphanie Delaune 2026 Is Part Of LIPIcs, Volume 380, 41st Annual Symposium on Logic in Computer Science (LICS 2026) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.LICS.2026.2 urn:nbn:de:0030-drops-267890 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.LICS.2026.2 eng https://creativecommons.org/licenses/by/4.0/legalcode