Pages that link to "Item:Q2892723"
From MaRDI portal
The following pages link to Automated Verification of Equivalence Properties of Cryptographic Protocols (Q2892723):
Displaying 21 items.
- Akiss (Q32423) (← links)
- Automated proofs of block cipher modes of operation (Q287326) (← links)
- Deciding equivalence-based properties using constraint solving (Q391121) (← links)
- A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols (Q511946) (← links)
- A procedure for deciding symbolic equivalence between sets of constraint systems (Q2013557) (← links)
- A decidable class of security protocols for both reachability and equivalence properties (Q2031426) (← links)
- Modular verification of protocol equivalence in the presence of randomness (Q2167715) (← links)
- POR for security protocol equivalences. Beyond action-determinism (Q2167736) (← links)
- Efficiently deciding equivalence for standard primitives and phases (Q2167745) (← links)
- Equivalence properties by typing in cryptographic branching protocols (Q2324201) (← links)
- Stateful applied pi calculus: observational equivalence and labelled bisimilarity (Q2397042) (← links)
- Formal analysis and offline monitoring of electronic exams (Q2402552) (← links)
- Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols (Q2643568) (← links)
- SPEC: An Equivalence Checker for Security Protocols (Q3179281) (← links)
- Automated Verification of Dynamic Root of Trust Protocols (Q3304809) (← links)
- Type-Based Automated Verification of Authenticity in Cryptographic Protocols (Q3617702) (← links)
- Variant-Based Satisfiability in Initial Algebras (Q4686604) (← links)
- Automating Computational Proofs for Public-Key-Based Key Exchange (Q4933211) (← links)
- Analysing privacy-type properties in cryptographic protocols (invited talk) (Q4993330) (← links)
- Automatic verification of cryptographic protocols with SETHEO (Q5234693) (← links)
- Automated Verification of Equivalence Properties of Cryptographic Protocols (Q5278194) (← links)
