2026-08-05T23:20:54Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:11644 2024-03-06T10:48:41Z ddc:004 open_access

Verification of Security Protocols (Invited Talk) Cortier, Véronique Security protocols automated deduction security Cryptographic protocols aim at securing communications over insecure networks like the Internet. Over the past decades, numerous decision procedures and tools have been developed to automatically analyse the security of protocols. The field has now reached a good level of maturity with efficient techniques for the automatic security analysis of protocols After an overview of some famous protocols and flaws, we will describe the current techniques for security protocols analysis, often based on logic, and review the key challenges towards a fully automated verification. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Véronique Cortier 2020 Is Part Of LIPIcs, Volume 152, 28th EACSL Annual Conference on Computer Science Logic (CSL 2020) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.CSL.2020.1 urn:nbn:de:0030-drops-116447 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2020.1 eng https://creativecommons.org/licenses/by/3.0/legalcode