Graham Steel

Research Fellow, INRIA

Position

I'm an INRIA Chargé de recherche, or research fellow, in the SECSI project team.

Publications

Selected publications.

DBLP bibliography.

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.

Security APIs FAQ
Experiments with PKCS#11
A Generic Key Management API for cryptographic devices
A proposal to improve PIN verification security

Some of my work with PIN processing APIs was featured in an article on the Wired Magazine Threat Level blog.

Responsibilities in the Scientific Community

Together with Mike Bond, I'm the organiser of the Analysis of Security APIs workshop series. The fourth edition, ASA-4, was held in Edinburgh, on July 21st 2010, as part of FLoC.

I'm a speaker at the SICSA Summer School on Formal Reasoning & Representation of Complex Systems, to be held in Edinburgh 14-15 August 2010.

I was General Chair for CSF 2010 at FLoC.

Programme committee for ARSPA-WITS 2010

Organising committee for CryptoForma Paris workshop 25 May.

At LSV I manage the seminars and the library.

Industrial Collaboration and Consultancy

I collaborate with and consult for various industrial groups, including Abelon Systems, nCipher, KAL and CESG (GCHQ). Get in touch with me if you'd like to discuss collaboration or consultancy.