Il y a 3 Résultats avec le mot clé : "SECSI"
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
© Inria / Photo Kaksonen
Algorithmique, programmation, logiciels et architectures
Apporter des réponses pour des échanges plus sûrs
Vérifier des protocoles cryptographiques, présents dans le commerce en ligne ou les distributeurs de billets, mais aussi mettre en place des outils de détection d’intrusion dans un système informatique, et ainsi alerter si une suite d’actions semblent malveillantes, tels sont les objectifs de l’équipe-projet Secsi (commune avec le LSV, le CNRS, et l’ENS Cachan). À l’occasion de la soutenance de l’habilitation à diriger des recherches (HDR) de trois de ses membres, focus sur leurs travaux de recherche.
Mots-clés :
Accueil > Centre > Saclay > Actualités > Apporter des réponses pour des échanges plus sûrs
Jean-Goubault Larrecq
-
© INRIA / Photo J.-M. Ramès
Récompense
Jean Goubault-Larrecq médaille d'argent du CNRS
Jean Goubault-Larrecq, responsable de l’équipe projet Secsi, vient de recevoir la Médaille d’argent du CNRS 2011, pour l’Institut des sciences informatiques et de leurs interactions (INS2I).
La Médaille d'argent du CNRS distingue un chercheur pour l'originalité, la qualité et l'importance de ses travaux, reconnus sur le plan national et international.
Mots-clés :
Accueil > Centre > Saclay > Actualités > Jean Goubault-Larrecq médaille d'argent du CNRS
Centres de recherche Inria
