2022 IEEE 35th Computer Security Foundations Symposium (CSF)
Cracking the Stateful Nut: Computational Proofs of Stateful Security Protocols using the Squirrel Proof Assistant
DOI Bookmark: 10.1109/CSF54842.2022.00018
Authors
David Baelde, Univ Rennes, CNRS, IRISA, FranceStéphanie Delaune, Univ Rennes, CNRS, IRISA, France
Adrien Koutsos, Inria Paris, France
Solène Moreau, Univ Rennes, CNRS, IRISA, France