Distinction obtained at the CSFSymposium for the paper by Solène Moreau (CNRS doctoral student) supervised by David Baelde (Senior Lecturer at LSV - Université Paris Saclay) and Stéphanie Delaune (CNRS Research Director, EMSEC research team at IRISA) for the article "A Method for Proving Unlinkability of Stateful Protocols" distinguished at conference CSF 2020
More at : Conférence 33rd IEEE Computer Security Foundations Symposium