scientific article; zbMATH DE number 7650814

DOI10.4230/LIPICS.CSL.2020.1MaRDI QIDQ5874186zbMATH OpenFDO

Authors Véronique Cortier

Publication date 7 February 2023

Full work available at URL https://doi.org/10.4230/LIPICS.CSL.2020.1

zbMATH Keywords

automated deductionsecuritysecurity protocols

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cited in

(6)

• Validating Security Protocols under the General Attacker
• Challenges in the Automated Verification of Security Protocols
• Verification of Security Protocols with a Bounded Number of Sessions Based on Resolution for Rigid Variables
• scientific article; zbMATH DE number 7297874 (Why is no real title available?)
• Multi-attacker protocol validation
• Practical Formal Methods for Real World Cryptography (Invited Talk)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5874186)