Crédit © Inria / Kaksonen Véronique Cortier, lauréate 2010 de la bourse ERC - Starting Grant, travaille sur la sécurisation des protocoles. Mon projet vise à sécuriser les protocoles de communication et les moduler afin de les rendre fiables.
