Pages that link to "Item:Q5278194"
From MaRDI portal
The following pages link to Automated Verification of Equivalence Properties of Cryptographic Protocols (Q5278194):
Displaying 19 items.
- Automated proofs of block cipher modes of operation (Q287326) (← links)
- A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols (Q511946) (← links)
- Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description) (Q2104541) (← links)
- Modular verification of protocol equivalence in the presence of randomness (Q2167715) (← links)
- Equivalence properties by typing in cryptographic branching protocols (Q2324201) (← links)
- Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols (Q2643568) (← links)
- Automated Verification of Dynamic Root of Trust Protocols (Q3304809) (← links)
- Beyond Subterm-Convergent Equational Theories in Automated Verification of Stateful Protocols (Q3304811) (← links)
- On Communication Models When Verifying Equivalence Properties (Q3304813) (← links)
- Type-Based Automated Verification of Authenticity in Cryptographic Protocols (Q3617702) (← links)
- Automating Computational Proofs for Public-Key-Based Key Exchange (Q4933211) (← links)
- (Q5089298) (← links)
- Computing knowledge in equational extensions of subterm convergent theories (Q5139279) (← links)
- Automatic verification of cryptographic protocols with SETHEO (Q5234693) (← links)
- When privacy fails, a formula describes an attack: a complete and compositional verification method for the applied \(\pi\)-calculus (Q6041667) (← links)
- An efficient canonical narrowing implementation with irreducibility and SMT constraints for generic symbolic protocol analysis (Q6052948) (← links)
- Security Protocol Analysis in Context: Computing Minimal Executions Using SMT and CPSA (Q6104494) (← links)
- Canonical Narrowing with Irreducibility and SMT Constraints as a Generic Symbolic Protocol Analysis Method (Q6487294) (← links)
- DeepSec: deciding equivalence properties for security protocols -- improved theory and practice (Q6566464) (← links)
