Graham Steel

Research Fellow, INRIA

Move

Since September 2013 I am working as CEO of Cryptosense, a spin-off company commercializing my research in formal analysis of crypto security APIs.

Padding Oracle Attacks

Our recent work on padding oracle attacks has received some press and blog coverage, not all of it accurate. Please read the FAQ for more information.

Publications

From the LSV server or from DBLP.

Slides

Slides from recent seminars including my CRYPTO'12 talk.

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 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