Automated verification of equivalence properties of cryptographic protocols

DOI10.1007/978-3-642-28869-2_6MaRDI QIDQ2892723zbMATH OpenOpenAlexFDO

Authors Rohit Chadha, Ştefan Ciobâcă, Steve Kremer

Publication date 22 June 2012

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-28869-2_6

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Cryptography (94A60)

Recommendations

• Automated verification of equivalence properties of cryptographic protocols
• A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols
• Proving more observational equivalences with ProVerif
• Automated verification of selected equivalences for security protocols
• Efficiently deciding equivalence for standard primitives and phases

Cited in

(21)

• A procedure for deciding symbolic equivalence between sets of constraint systems
• A decidable class of security protocols for both reachability and equivalence properties
• Modular verification of protocol equivalence in the presence of randomness
• POR for security protocol equivalences. Beyond action-determinism
• Efficiently deciding equivalence for standard primitives and phases
• Equivalence properties by typing in cryptographic branching protocols
• Stateful applied pi calculus: observational equivalence and labelled bisimilarity
• Formal analysis and offline monitoring of electronic exams
• Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols
• Automated proofs of block cipher modes of operation
• SPEC: an equivalence checker for security protocols
• Akiss
• Automated Verification of Dynamic Root of Trust Protocols
• Type-Based Automated Verification of Authenticity in Cryptographic Protocols
• Deciding equivalence-based properties using constraint solving
• Variant-Based Satisfiability in Initial Algebras
• Automating Computational Proofs for Public-Key-Based Key Exchange
• Analysing privacy-type properties in cryptographic protocols (invited talk)
• A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols
• Automatic verification of cryptographic protocols with SETHEO
• Automated verification of equivalence properties of cryptographic protocols

Describes a project that uses

Uses Software

• YAPA

This page was built for publication: Automated verification of equivalence properties of cryptographic protocols

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