Pages that link to "Item:Q4928441"
From MaRDI portal
The following pages link to Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis (Q4928441):
Displayed 4 items.
- Emerging Issues and Trends in Formal Methods in Cryptographic Protocol Analysis: Twelve Years Later (Q2945721) (← links)
- Variant-Based Satisfiability in Initial Algebras (Q4686604) (← links)
- An efficient canonical narrowing implementation with irreducibility and SMT constraints for generic symbolic protocol analysis (Q6052948) (← links)
- Local XOR unification: definitions, algorithms and application to cryptography (Q6109480) (← links)