Pages that link to "Item:Q3184784"
From MaRDI portal
The following pages link to Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties (Q3184784):
Displaying 36 items.
- Efficient general AGH-unification (Q462489) (← links)
- State space reduction in the Maude-NRL protocol analyzer (Q462493) (← links)
- Intruder deduction problem for locally stable theories with normal forms and inverses (Q683746) (← links)
- Sentence-normalized conditional narrowing modulo in rewriting logic and Maude (Q1655486) (← links)
- A formalisation of nominal \(\alpha\)-equivalence with A and AC function symbols (Q1744440) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description) (Q2104541) (← links)
- Symbolic computation in Maude: some tapas (Q2119100) (← links)
- Terminating non-disjoint combined unification (Q2119106) (← links)
- Secure key management policies in strand spaces (Q2154015) (← links)
- Modular verification of protocol equivalence in the presence of randomness (Q2167715) (← links)
- Generalized rewrite theories, coherence completion, and symbolic methods (Q2291817) (← links)
- Programming and symbolic computation in Maude (Q2291818) (← links)
- Combining proverif and automated theorem provers for security protocol verification (Q2305427) (← links)
- A formalisation of nominal \(\alpha\)-equivalence with A, C, and AC function symbols (Q2424886) (← links)
- Optimization of rewrite theories by equational partial evaluation (Q2667190) (← links)
- Built-in Variant Generation and Unification, and Their Applications in Maude 2.7 (Q2817918) (← links)
- José Meseguer: Scientist and Friend Extraordinaire (Q2945698) (← links)
- Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude (Q2945699) (← links)
- Alice and Bob Meet Equational Theories (Q2945705) (← links)
- Two Decades of Maude (Q2945709) (← links)
- Model Checking Security Protocols (Q3176380) (← links)
- Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties (Q3184784) (← links)
- Beyond Subterm-Convergent Equational Theories in Automated Verification of Stateful Protocols (Q3304811) (← links)
- Symbolic Protocol Analysis with Disequality Constraints Modulo Equational Theories (Q3460872) (← links)
- Variant-Based Satisfiability in Initial Algebras (Q4686604) (← links)
- (Q5020553) (← links)
- (Q5020960) (← links)
- Bounded ACh unification (Q5139278) (← links)
- Computing knowledge in equational extensions of subterm convergent theories (Q5139279) (← links)
- Efficient General Unification for XOR with Homomorphism (Q5200040) (← links)
- Automated Verification of Equivalence Properties of Cryptographic Protocols (Q5278194) (← links)
- An efficient canonical narrowing implementation with irreducibility and SMT constraints for generic symbolic protocol analysis (Q6052948) (← links)
- Symbolic Specialization of Rewriting Logic Theories with <tt>Presto</tt> (Q6063888) (← links)
- Variants and satisfiability in the infinitary unification wonderland (Q6113018) (← links)
- Formalization and analysis of the post-quantum signature scheme FALCON with Maude (Q6671789) (← links)
