Le CNRS a annoncé fin mars la liste des lauréats 2022 des médailles du CNRS. C'est avec un immense plaisir que nous avons appris que Véronique Cortier, spécialiste des preuves formelles de sécurité des protocoles cryptographiques, notamment dans le domaine du vote électronique, fait partie des lauréat.e.s. Comme l'ont déjà souligné beaucoup de collègues, c'est une consécration pour des travaux scientifiques de pointe et un engagement dans un domaine lié à des enjeux de société, à la jonction des GDR IM et Sécurité. Au nom de tous les membres du GDR : bravo !