Félicitations à Stéphanie Delaune (directrice de recherche CNRS, membre de l'équipe de recherche EMSEC et responsable de l'axe transversal Cybersécurité), Véronique Cortier (directrice de recherche CNRS, Loria) et Jannik Dreier (professeur associé, Loria) pour le prix du meilleur article conjoint pour "Automatic generation of source lemmas in Tamarin : towards automatic proofs of security protocols" à la conférence ESORICS