Pages that link to "Item:Q5326762"
From MaRDI portal
The following pages link to Proving More Observational Equivalences with ProVerif (Q5326762):
Displaying 12 items.
- Deciding equivalence-based properties using constraint solving (Q391121) (← links)
- Automated type-based analysis of injective agreement in the presence of compromised principals (Q492914) (← 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)
- Compositional analysis of protocol equivalence in the applied \(\pi \)-calculus using quasi-open bisimilarity (Q2119978) (← links)
- Formal analysis of fairness for optimistic multiparty contract signing protocol (Q2336896) (← links)
- Formalizing provable anonymity in Isabelle/HOL (Q2355379) (← links)
- Formal Analysis of a TTP-Free Blacklistable Anonymous Credentials System (Q3297470) (← links)
- (Q4993330) (← links)
- From Security Protocols to Pushdown Automata (Q5277904) (← links)
- Automated Verification of Equivalence Properties of Cryptographic Protocols (Q5278194) (← links)
- DeepSec: deciding equivalence properties for security protocols -- improved theory and practice (Q6566464) (← links)
