YAPA

swMATH2739MaRDI QIDQ15278FDOQ15278

Author name not available (Why is that?)

Official website: http://www.lsv.ens-cachan.fr/~baudet/yapa/

Described by source

• YAPA: a generic tool for computing intruder knowledge
• YAPA: A Generic Tool for Computing Intruder Knowledge

Cited In (28)

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

This page was built for software: YAPA