@inproceedings{ChevalKR19,
  title = "Exploiting Symmetries When Proving Equivalence Properties for Security Protocols",
  author = "Vincent Cheval and Steve Kremer and Itsaka Rakotonirina",
  year = "2019",
  booktitle = "Proceedings of the 2019 {ACM} {SIGSAC} Conference on Computer and Communications Security, {CCS} 2019, London, UK, November 11-15, 2019",
  editor = "Lorenzo Cavallaro and Johannes Kinder and XiaoFeng Wang and Jonathan Katz",
  pages = "905--922",
  publisher = "{ACM}",
  url = "https://www.cs.ox.ac.uk/people/vincent.cheval/publis/CKR-ccs19.pdf",
  doi = "10.1145/3319535.3354260",
}