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