Graham Steel

Research Fellow, INRIA

Publications

From the LSV server or from DBLP.

Slides

Slides from recent seminars.

Research

My research concerns formal analysis of information security problems. In particular, I'm interested in security APIs, security protocols, and security of embedded systems. Some highlights:

Events

Book

Mathematical and Algorithmic Foundations of the Internet, by Fabrizio Luccio, Linda Pagli, and me. CRC Press, July 2011.

About LSV

Contact

Graham Steel
Address
LSV, CNRS & ENS de Cachan
61, avenue du Président Wilson
94235 CACHAN Cedex, France
Phone
+33 (0)1 47 40 77 80
Fax
+33 (0)1 47 40 75 21
Secr.
+33 (0)1 47 40 75 20
E-Mail
Prenom.Nom@lsv.ens-cachan.fr