@inproceedings{ChevalB-post13,
  title = "Proving More Observational Equivalences with ProVerif",
  author = "Vincent Cheval and Bruno Blanchet",
  year = "2013",
  booktitle = "Principles of Security and Trust - Second International Conference, {POST} 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2013, Rome, Italy, March 16-24, 2013. Proceedings",
  editor = "David A. Basin and John C. Mitchell",
  pages = "226--246",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "https://www.cs.ox.ac.uk/people/vincent.cheval/publis/CB-post13.pdf",
  volume = "7796",
  doi = "10.1007/978-3-642-36830-1_12",
}