scientific article; zbMATH DE number 7806140

arXiv2211.12227MaRDI QIDQ6197212

Bruno Blanchet

Publication date: 16 February 2024

Full work available at URL: https://arxiv.org/abs/2211.12227

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Computer science (68-XX) Information and communication theory, circuits (94-XX)

Cites Work

• Security protocols: from linear to classical logic by abstract interpretation
• Automated verification of selected equivalences for security protocols
• Security Protocol Verification: Symbolic and Computational Models
• The Applied Pi Calculus
• On a routing problem
• Analyzing security protocols with secrecy types and logic programs
• On the security of public key protocols
• Using encryption for authentication in large networks of computers
• Simple and Efficient Clause Subsumption with Feature Vector Indexing
• Mobile values, new names, and secure communication

This page was built for publication: