Formal verification of cryptographic protocols: A survey
From MaRDI portal
Recommendations
Cited in
(35)- Proof of soundness (integrity) of cryptographic protocols
- Three systems for cryptographic protocol analysis
- On the role of formal methods in security
- Verification of cryptographic protocols: tagging enforces termination
- A new logic for electronic commerce protocols
- Ordering from Satan's menu: a survey of requirements specification for formal analysis of cryptographic protocols
- A formal language for cryptographic protocol requirements
- LACPV'2001. Logical aspects of cryptographic protocol verification. Proceedings of the 1st workshop (a satellite workshop of CAV'01), Paris, France, July 23, 2001.
- The meeting businessmen problem: requirements and limitations
- Unifying simulatability definitions in cryptographic systems under different timing assumptions
- Computer-assisted verification of a protocol for certified email
- Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols
- Security protocol verification: symbolic and computational models
- Applying spi-calculus for PayWord
- Emerging issues and trends in formal methods in cryptographic protocol analysis: twelve years later
- A Testing Theory for a Higher-Order Cryptographic Language
- Integrating Verification, Testing, and Learning for Cryptographic Protocols
- scientific article; zbMATH DE number 697830 (Why is no real title available?)
- scientific article; zbMATH DE number 1953034 (Why is no real title available?)
- scientific article; zbMATH DE number 1956542 (Why is no real title available?)
- Efficient general AGH-unification
- scientific article; zbMATH DE number 2084804 (Why is no real title available?)
- scientific article; zbMATH DE number 1860614 (Why is no real title available?)
- scientific article; zbMATH DE number 2090144 (Why is no real title available?)
- scientific article; zbMATH DE number 2090853 (Why is no real title available?)
- scientific article; zbMATH DE number 1405638 (Why is no real title available?)
- Formal methods for web security
- Efficient general unification for XOR with homomorphism
- Automatic verification of cryptographic protocols with SETHEO
- Probabilistic relational verification for cryptographic implementations
- Separating the specification and implementation phases in cryptology (extended abstract)
- Practical Formal Methods for Real World Cryptography (Invited Talk)
- Verification, Model Checking, and Abstract Interpretation
- Optimization of ProVerif Programs for AKE Protocols
- Formal analysis of PIN block attacks
This page was built for publication: Formal verification of cryptographic protocols: A survey
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4341785)
