Graham Steel

Biographie

Graham a fait ses études en mathématiques à l'université de Cambridge et son doctorat en informatiques à l'université d'Édimbourg. Avant d'être recruté à l'INRIA en tant que chargé de recherche en 2008, Graham Steel a effectué des post-docs en Allemagne, Italie, Écosse et France. A l'université de Karlsruhe (Allemagne) et l'université de Gennes (Italie), il a travaillé sur des projets européens en déduction algébrique et analyse de protocoles de sécurité. A l'université d'Édimbourg, il a étudié l'analyse des APIs de sécurité pour les modules cryptographiques embarquées dans le réseau des distributeurs de billets. Des nouveaux outils de vérification permettant de découvrir de nouvelles attaques ont émergés de ce projet, ainsi qu'un entretien pour Wired. Graham a ensuite intégré le Laboratoire Spécification et Vérification (LSV) où il a travaillé sur l'analyse des APIs pour la gestion des clés cryptographiques. En 2010 il a publié plusieurs attaques sur les cartes à puces conformant à PKCS#11, trouve par son outil Tookan.

Ses présentations