Sites Inria

Il y a 2 Résultats avec le mot clé : "Cassis"

European Research Council

Une bourse ERC pour Steve Kremer

Marie Blanchard - 23/01/2015

Mots-clés :

Accueil > Centre > Nancy > Actualités > Une bourse ERC pour Steve Kremer

Lire la suite

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

Haut de page

Suivez Inria