Congratulations to Stéphanie Delaune (directrice de recherche CNRS, member of the EMSEC research team and head of the Cybersecurity cross-cutting axis), Véronique Cortier (directrice de recherche CNRS, Loria) and Jannik Dreier (associate professor Loria) for joint best paper award for "Automatic generation of source lemmas in Tamarin: towards automatic proofs of security protocols" at ESORICS conference