Sites Inria

Il y a 4 Résultats avec le mot clé : "Steve Kremer"

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

Table ronde et exposés

Jam Session Alumni

19/06/2012

Une jam session sur le thème de la sécurité informatique

Lieu : amphi C Inria Nancy - Grand Est

Intervenant(s) : Roberto DiCosmo,Olivier Pereira, Peter Ryan, Pierrick Gaudry, Nicolas Ray, Emmanuel Hainry, François Bancilhon

Mots-clés :

Accueil > Centre > Nancy > Agenda > Jam Session Alumni

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

Logo ERC

ERC

Les lauréats ERC d'Inria Nancy - Grand Est

L'ERC a pour mission d'encourager la recherche de haute qualité en Europe grâce à un financement important. Le Conseil européen de la recherche (CER) ou European Research Council (ERC) récompense chaque année des chercheurs aux idées novatrices. Ce programme permet à ces derniers de mener pendant 5 ans une recherche exploratoire « à la frontière de la connaissance » et de pouvoir, grâce au budget alloué, constituer une équipe spécifique. 

Mots-clés :

Accueil > Centre > Nancy > Recherche > Lauréats ERC

Lire la suite

Haut de page

Suivez Inria