YAPA
From MaRDI portal
Cited in
(29)- AVISPA
- FAST
- ProVerif
- Casper
- OFMC
- scyther
- SATMC
- LALBLC
- Stateful applied pi calculus: observational equivalence and labelled bisimilarity
- NRL
- Maude-NPA
- Automated verification of equivalence properties of cryptographic protocols
- Deciding knowledge in security protocols under some e-voting theories
- Model Checking Security Protocols
- The Applied Pi Calculus
- Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties
- Apte
- Akiss
- CoSP
- Reducing equational theories for the decision of static equivalence
- Computing knowledge in security protocols under convergent equational theories
- A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols
- Computing knowledge in equational extensions of subterm convergent theories
- Computing Knowledge in Security Protocols under Convergent Equational Theories
- Automated verification of equivalence properties of cryptographic protocols
- FAST: an efficient decision procedure for deduction and static equivalence
- Automating security analysis: symbolic equivalence of constraint systems
- Intruder deduction problem for locally stable theories with normal forms and inverses
- Compiling and securing cryptographic protocols
This page was built for software: YAPA
