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
