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 !
Pour consulter la liste des lauréat.e.s 2022 : https://www.cnrs.fr/fr/personne/medailles-dargent-2022
A lire aussi
Prix de thèse 2022
11 April 2022
par cfontaine
Les journées MFS, nouveau format, un succès
11 April 2022
par cfontaine
Colloque IMT 2022, labellisé par le GDR
21 March 2022
par cfontaine