Apte

swMATH20604MaRDI QIDQ32422FDOQ32422

Author name not available (Why is that?)

Official website: http://projects.lsv.ens-cachan.fr/APTE/

Cited In (10)

• On Communication Models When Verifying Equivalence Properties
• Analysing privacy-type properties in cryptographic protocols (invited talk)
• A procedure for deciding symbolic equivalence between sets of constraint systems
• FAST
• scyther
• LALBLC
• A reduced semantics for deciding trace equivalence
• Akiss
• TAMARIN
• A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols

This page was built for software: Apte