Félicitations à Solène Moreau (doctorante CNRS dans l'équipe EMSEC), Stéphanie Delaune (directrice de recherche CNRS à l'IRISA) et David Baelde (MdC au LSV - Université Paris Saclay) pour leur papier "A Method for Proving Unlinkability of Stateful Protocols" distingué à la conférence CSF 2020
Pour en savoir plus : Conférence 33rd IEEE Computer Security Foundations Symposium