Steve Kremer, directeur de recherche Inria au sein de l'équipe Cassis du Loria a obtenu une ERC (European Research Council) Consolidator Grant, financement européen pour ses travaux portant sur la spécification et la vérification formelle de nouvelles propriétés de sécurité.
Intitulée SPOOC (Automated Security Proofs of Cryptographic Protocols: Privacy, Untrusted Platforms and Applications to E-voting), cette ERC va lui permettre d'approfondir ses recherches en recrutant les personnes qu'il estimera les plus compétentes pour travailler dans le domaine.
Steve Kremer vient porter à six le nombre de personnes ayant obtenu une ERC au LORIA.