Graham Steel

Chargé de recherche, INRIA

Actuellement mis en disponibilité chez Cryptosense.

Sur le serveur LSV ou sur DBLP.

Transparences des séminaires récents

L'application des méthodes formelles à la sécurité, notamment l'analyse des APIs de sécurité:

Tookan - outil pour analyser appareils cryptographiques conformant à PKCS#11
une nouvelle API générique pour la gestion des clés symétriques, avec des preuves de sécurité. Un article montrant comment ajouter la révocation des clés corrompues à cette API sera présenté à ACM CCS 2012.
Une proposition pour améliorer la sécurité des codes secrètes (PINs) dans le réseau de distributeurs de billets. Ce travail a été fait suite à une mentionne de mon travail sur le sujet dans le blog du Wired Magazine (en anglais).

La série d'ateliers sur le sujet Analysis of Security APIs, co-organisateur avec Mike Bond
CSF 2013, Membre du comité du programme
ACM SAC Security Track 2013, Co-chair du comité du programme
Dagstuhl Seminar on security APIs, novembre 2012, co-organisateur avec Mike Bond, Riccardo Focardi et Sibylle Fröschle.
PROOFS workshop - Security Proofs for Embedded Systems, septembre 2012, Membre du comité du programme
ACM SAC Security Track 2012, avril 2012, Membre du comité du programme
Alan Turing Year workshop Is Cryptographic Theory Practically Relevant?, Cambridge, 31 janvier - 2 fevrier 2012, Orateur invité
FMATS, workshop on Formal Methods and tools for Security, Cambridge, 7-8 Decembre 2011, Orateur invité
Santa's Crypto, Prague, Decembre 2011, Orateur invité
Cours à at Tsinghua University, Beijing, août 2011, Orateur invité
SSTIC 2011, Rennes, Juin 2011, Orateur invité