Graham Steel
Research Fellow, INRIA
Move
In January 2012 I left LSV to join a new formal methods/applied
cryptography INRIA research team,
ProSecCo, based in
central Paris.
My postal address there is INRIA, 23 Avenue d'Italie - CS
81321, 75214 Paris Cedex 13.
My new desk phone number is (0)1 39 63 59 45.
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.
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
- Analysis of Security
APIs workshop series - co-organiser with Mike Bond. The 6th Edition, ASA-6
was held on 28th June as part of CSF 2012.
- ACM SAC Security Track 2013, Programme Committee co-chair.
- CSF 2013, Programme Committee member
- Dagstuhl Seminar on security APIs, November 2012, co-organiser with Mike Bond, Riccardo Focardi and Sibylle Fröschle.
- PROOFS workshop -
Security Proofs for Embedded Systems, September 2012, Programme Committee member.
- ACM SAC Security Track 2012, Programme Committee member.
- Alan Turing Year workshop Is Cryptographic Theory Practically Relevant?, Cambridge, 31 January - 2 February 2012, Invited speaker.
- FMATS, workshop on Formal Methods and tools for Security, Cambridge, December 7-8 2011, Invited speaker
- Santa's Crypto in Prague on December 1st 2011, Invited speaker
- Course at Tsinghua University, Beijing, in August 2011, Invited lecturer
- SSTIC 2011 in Rennes June 9th 2011, Invited speaker.
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".