The following pages link to (Q4263167):
Displaying 28 items.
- State space reduction in the Maude-NRL protocol analyzer (Q462493) (← links)
- A rewriting-based inference system for the NRL protocol analyzer and its meta-logical properties (Q860906) (← links)
- A domain-specific language for cryptographic protocols based on streams (Q1001891) (← links)
- Deciding \(\mathcal H_1\) by resolution (Q1041797) (← links)
- Security protocols: from linear to classical logic by abstract interpretation (Q1041815) (← links)
- Verification of cryptographic protocols: tagging enforces termination (Q1770413) (← links)
- On the symbolic reduction of processes with cryptographic functions. (Q1853612) (← links)
- Secrecy types for asymmetric communication. (Q1874278) (← links)
- Extending \(H_1\)-clauses with disequalities (Q1944188) (← links)
- SPASS-AR: a first-order theorem prover based on approximation-refinement into the monadic shallow linear fragment (Q2303255) (← links)
- Finite reasons for safety (Q2351397) (← links)
- On the relationships between models in protocol verification (Q2482448) (← links)
- Crossing the Syntactic Barrier: Hom-Disequalities for ${\mathcal H}_1$-Clauses (Q2914718) (← links)
- First-Order Logic Theorem Proving and Model Building via Approximation and Instantiation (Q2964455) (← links)
- Normalization of Linear Horn Clauses (Q2999324) (← links)
- Verifying Cryptographic Protocols with Subterms Constraints (Q3498465) (← links)
- Superposition for Fixed Domains (Q3540186) (← links)
- Challenges in the Automated Verification of Security Protocols (Q3541719) (← links)
- Verification of Security Protocols with a Bounded Number of Sessions Based on Resolution for Rigid Variables (Q3631368) (← links)
- Deciding the Inductive Validity of ∀ ∃ * Queries (Q3644758) (← links)
- Harald Ganzinger’s Legacy: Contributions to Logics and Programming (Q4916069) (← links)
- From Search to Computation: Redundancy Criteria and Simplification at Work (Q4916077) (← links)
- Paths, tree homomorphisms and disequalities for -clauses (Q4961723) (← links)
- System Description: SPASS-FD (Q5200034) (← links)
- Automatic Verification of Security Protocols in the Symbolic Model: The Verifier ProVerif (Q5253587) (← links)
- Automated Verification of Equivalence Properties of Cryptographic Protocols (Q5278194) (← links)
- Key Substitution in the Symbolic Analysis of Cryptographic Protocols (Q5458828) (← links)
- Automating Security Analysis: Symbolic Equivalence of Constraint Systems (Q5747780) (← links)
