Graham Steel

Research Fellow, INRIA

Position

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

Publications

DBLP bibliography.

Slides

I've recently been touring a seminar entitled Blunting Differential Attacks on PIN Processing APIs. Next show in Rennes (January 28).

Slides from other recent seminars.

Research

My research concerns formal analysis of information security problems. In particular, I'm interested in security APIs, security protocols, group protocols, cash machines, and the security of embedded systems in cars.

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 recently featured in an article on the Wired Magazine Threat Level blog.

Responsibilities in the Scientific Community

I'm General Chair for CSF 2010 at FLoC.

Together with Mike Bond, I'm the organiser of the Analysis of Security APIs workshop series. The fourth edition, ASA-4, will be 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.

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.