TY  - RPRT
TI  - A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols
AU  - Stéphanie Delaune
AU  - Lucca Hirschi
PY  - 2016
DO  - 10.1016/j.jlamp.2016.10.005
UR  - https://arxiv.org/abs/1610.08279
ID  - 1610.08279
ER  -