Cracking the Stateful Nut: Computational Proofs of Stateful Security Protocols using the Squirrel Proof Assistant

David Baelde, Stéphanie Delaune, Adrien Koutsos, Solène Moreau
August 2022
PDF Slides
Type
Conference paper
Publication
IEEE Computer Security Foundations Symposium, CSF 2022, Haifa, Israel, August, 2022