Graham Steel

Research Fellow, INRIA

Team

I'm in the process of moving to a new formal methods/applied cryptography INRIA research team, ProSecCo, based in central Paris.

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. Recently described in the JOC as a "superb read".

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