Apte
From MaRDI portal
Cited in
(12)- YAPA
- AVISPA
- FAST
- A procedure for deciding symbolic equivalence between sets of constraint systems
- scyther
- LALBLC
- Akiss
- On Communication Models When Verifying Equivalence Properties
- TAMARIN
- Analysing privacy-type properties in cryptographic protocols (invited talk)
- A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols
- A reduced semantics for deciding trace equivalence
This page was built for software: Apte
