Maude-NPA
From MaRDI portal
Software:24090
swMATH12159MaRDI QIDQ24090FDOQ24090
Author name not available (Why is that?)
Cited In (31)
- Generalized rewrite theories, coherence completion, and symbolic methods
- Twenty years of rewriting logic
- Intruder deduction problem for locally stable theories with normal forms and inverses
- Symbolic computation in Maude: some tapas
- Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties
- Built-in Variant Generation and Unification, and Their Applications in Maude 2.7
- Title not available (Why is that?)
- A formalisation of nominal \(\alpha\)-equivalence with A and AC function symbols
- Order-sorted Equational Unification Revisited
- Terminating non-disjoint combined unification
- A formalisation of nominal \(\alpha\)-equivalence with A, C, and AC function symbols
- Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude
- Variant Narrowing and Equational Unification
- Efficient General Unification for XOR with Homomorphism
- Sentence-normalized conditional narrowing modulo in rewriting logic and Maude
- Efficient general AGH-unification
- Title not available (Why is that?)
- Title not available (Why is that?)
- Programming and symbolic computation in Maude
- Optimization of rewrite theories by equational partial evaluation
- Model Checking Security Protocols
- José Meseguer: Scientist and Friend Extraordinaire
- Computing knowledge in equational extensions of subterm convergent theories
- Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives
- Symbolic Protocol Analysis with Disequality Constraints Modulo Equational Theories
- Combining proverif and automated theorem provers for security protocol verification
- Beyond Subterm-Convergent Equational Theories in Automated Verification of Stateful Protocols
- Automated Verification of Equivalence Properties of Cryptographic Protocols
- Two Decades of Maude
- Bounded ACh unification
- Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description)
This page was built for software: Maude-NPA