Invited talk at CSF (part of FLOC), Haifa, Israel, August 2022. (Slides)
Award for "distinguished paper" at
CSF 2022 (part
of FLOC):
Cracking the Stateful Nut: Computational Proofs of Stateful Security Protocols using the SQUIRREL Proof Assistant with
D. Baelde, A. Koutsos and S. Moreau.