Distinguished paper award at CSF’22
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…