Bruno Blanchet, Vincent Cheval, Véronique Cortier. ProVerif with Lemmas, Induction, Fast Subsumption, and Much More. In 43rd IEEE Symposium on Security and Privacy, SP 2022, San Francisco, CA, USA, May 22-26, 2022. pages 69-86, IEEE, 2022. [doi]
@inproceedings{BlanchetCC22,
title = {ProVerif with Lemmas, Induction, Fast Subsumption, and Much More},
author = {Bruno Blanchet and Vincent Cheval and Véronique Cortier},
year = {2022},
doi = {10.1109/SP46214.2022.9833653},
url = {https://doi.org/10.1109/SP46214.2022.9833653},
researchr = {https://researchr.org/publication/BlanchetCC22},
cites = {0},
citedby = {0},
pages = {69-86},
booktitle = {43rd IEEE Symposium on Security and Privacy, SP 2022, San Francisco, CA, USA, May 22-26, 2022},
publisher = {IEEE},
isbn = {978-1-6654-1316-9},
}