Graham Steel

Chargé de recherche, INRIA

Actuellement mis en disponibilité chez Cryptosense.

Publications

Sur le serveur LSV ou sur DBLP.

Séminaires récents

Transparences des séminaires récents

Thèmes de recherche

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

Activités

À propos du LSV

Contact

Graham Steel
Adresse
LSV, CNRS & ENS de Cachan
61, avenue du Président Wilson
94235 CACHAN Cedex, France
Tél.
+33 (0)1 39 63 59 45
Fax
+33 (0)1 39 63 79 87
Secr.
+33 (0)1 47 40 75 20
E-Mail
Prenom.Nom@inria.fr