@misc{indiciae3ed17703874a,
  title = {A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols},
  author = {Stéphanie Delaune and Lucca Hirschi},
  year = {2016},
  doi = {10.1016/j.jlamp.2016.10.005},
  url = {https://arxiv.org/abs/1610.08279},
  note = {Source identifier: 1610.08279}
}