Sites Inria

European Research Council

Marie Blanchard - 23/01/2015

Le travail scientifique de Steve Kremer récompensé avec une bourse ERC - Consolidator Grant

Steve Kremer, DR Inria, travaille au sein de l'équipe projet CASSIS, dont les travaux portent essentiellement sur l'élaboration de méthodes et d'outils de vérification de logiciels critiques

L'excellence scientifique de ses travaux de recherche vient d'être récompensée par le Conseil Européen de la Recherche (European Research Council) qui lui attribue une bourse dans la catégorie "Consolidator Grant", pour l'appel 2014, avec son projet SPOOC (Automated Security Proofs of Cryptographic Protocols: Privacy, Untrusted Platforms and Applications to E-voting Protocols).

 

L'équipe projet CASSIS est une équipe commune Inria / CNRS / Université de Lorraine.

Mots-clés : Vote électronique Consolidator grant Cassis ERC Steve Kremer Europe ERC 2014

Haut de page

Suivez Inria tout au long de son 50e anniversaire et au-delà !