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]
Abstract is missing.