Sites Inria

Il y a 3 Résultats avec le mot clé : "SECSI"

Formal Models and Techniques for Analyzing Security Protocols

Publication

Formal Models and Techniques for Analyzing Security Protocols

15/04/2011

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

Lire la suite

© Inria / Photo Kaksonen © Inria / Photo Kaksonen

Algorithmique, programmation, logiciels et architectures

Apporter des réponses pour des échanges plus sûrs

30/08/2011

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

Lire la suite

© INRIA / Photo J.-M. Ramès Jean-Goubault Larrecq - © INRIA / Photo J.-M. Ramès

Récompense

Jean Goubault-Larrecq médaille d'argent du CNRS

26/07/2011

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

Lire la suite

Haut de page

Suivez Inria