Inria
Inria.fr
Inria Channel
Il y a 2 Résultats avec le mot clé : "Véronique Cortier"
European Research Council 2010
Véronique Cortier : sécuriser les protocoles
En septembre 2010, Véronique Cortier, directrice de recherche CNRS au sein de l'EPI CASSIS d'Inria Nancy-Grand Est a obtenu la bourse ERC dans le cadre de son projet de sécuriser les protocoles de communication et les moduler afin de les rendre fiables. Rencontre avec la chercheuse.
Mots-clés :
Accueil > Recherches > Actualités > Véronique Cortier : sécuriser les protocoles
Publication
Formal Models and Techniques for Analyzing Security Protocols
Parution du livre "Formal Models and Techniques for Analyzing Security Protocols / Cryptology and Information Security Series (Vol.5)", co-écrit par Steve Kremer (équipe-projet Secsi) et Véronique Cortier (équipe-projet Cassis).
Mots-clés :
Accueil > Centre > Saclay > Actualités > Formal Models and Techniques for Analyzing Security Protocols
Centres de recherche Inria
