Recent work by Adrien Koutsos and his co-authors received the Distinguished Paper Award at IEEE CSF 2022 (part of FLOC):
Cracking the Stateful Nut: Computational Proofs of Stateful Security Protocols using the SQUIRREL Proof Assistant
with D. Baelde, S. Delaune, A. Koutsos and S. Moreau.
The pre-print is available on HAL here.
