Graham Steel

Publication Activity (10 Years)

Years Active: 2004-2018
Publications (10 Years): 3

Top Venues

IACR Cryptol. ePrint Arch.

NDSS

ESORICS

POST

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

Riccardo Focardi, Francesco Palmarini, Marco Squarcina, Graham Steel, Mauro Tempesta
Mind Your Keys? A Security Evaluation of Java Keystores. NDSS (2018)
Kelsey Cairns, Harry Halpin, Graham Steel
Security Analysis of the W3C Web Cryptography API. SSR (2016)
Claudio Bozzato, Riccardo Focardi, Francesco Palmarini, Graham Steel
APDU-Level Attacks in PKCS#11 Devices. RAID (2016)
Graham Steel
Automated Proof and Flaw-Finding Tools in Cryptography. IEEE Secur. Priv. 13 (2) (2015)
Andriana Gkaniatsou, Fiona McNeill, Alan Bundy, Graham Steel, Riccardo Focardi, Claudio Bozzato
Getting to know your Card: Reverse-Engineering the Smart-Card Application Protocol Data Unit. ACSAC (2015)
Véronique Cortier, Graham Steel
A generic security API for symmetric key management on cryptographic devices. Inf. Comput. 238 (2014)
Marion Daubignard, David Lubicz, Graham Steel
A Secure Key Management Interface with Asymmetric Cryptography. POST (2014)
Steve Kremer, Robert Künnemann, Graham Steel
Universally Composable Key-Management. ESORICS (2013)
Robert Künnemann, Graham Steel
YubiSecure? Formal Security Analysis Results for the Yubikey and YubiHSM. STM (2012)
Romain Bardou, Riccardo Focardi, Yusuke Kawamoto, Lorenzo Simionato, Graham Steel, Joe-Kai Tsay
Efficient Padding Oracle Attacks on Cryptographic Hardware. IACR Cryptol. ePrint Arch. 2012 (2012)
Steve Kremer, Robert Künnemann, Graham Steel
Universally Composable Key-Management. IACR Cryptol. ePrint Arch. 2012 (2012)
Romain Bardou, Riccardo Focardi, Yusuke Kawamoto, Lorenzo Simionato, Graham Steel, Joe-Kai Tsay
Efficient Padding Oracle Attacks on Cryptographic Hardware. CRYPTO (2012)
Mike Bond, Riccardo Focardi, Sibylle B. Fröschle, Graham Steel
Analysis of Security APIs (Dagstuhl Seminar 12482). Dagstuhl Reports 2 (11) (2012)
Véronique Cortier, Graham Steel, Cyrille Wiedling
Revoke and let live: a secure key revocation api for cryptographic devices. CCS (2012)
Steve Kremer, Graham Steel, Bogdan Warinschi
Security for Key Management Interfaces. CSF (2011)
Stéphanie Delaune, Steve Kremer, Mark Dermot Ryan, Graham Steel
Formal Analysis of Protocols Based on TPM State Registers. CSF (2011)
Morten Dahl, Stéphanie Delaune, Graham Steel
Formal Analysis of Privacy for Anonymous Location Based Services. TOSCA (2011)
Riccardo Focardi, Flaminia L. Luccio, Graham Steel
An Introduction to Security API Analysis. FOSAD (2011)
Stéphanie Delaune, Steve Kremer, Mark Dermot Ryan, Graham Steel
A Formal Analysis of Authentication in the TPM. Formal Aspects in Security and Trust (2010)
Matteo Bortolozzo, Matteo Centenaro, Riccardo Focardi, Graham Steel
Attacking and fixing PKCS#11 security tokens. CCS (2010)
Morten Dahl, Stéphanie Delaune, Graham Steel
Formal Analysis of Privacy for Vehicular Mix-Zones. ESORICS (2010)
Stéphanie Delaune, Steve Kremer, Graham Steel
Formal security analysis of PKCS#11 and proprietary extensions. J. Comput. Secur. 18 (6) (2010)
Gavin Keighren, David Aspinall, Graham Steel
Towards a Type System for Security APIs. ARSPA-WITS (2009)
Matteo Centenaro, Riccardo Focardi, Flaminia L. Luccio, Graham Steel
Type-Based Analysis of PIN Processing APIs. ESORICS (2009)
Véronique Cortier, Graham Steel
A Generic Security API for Symmetric Key Management on Cryptographic Devices. ESORICS (2009)
Sibylle B. Fröschle, Graham Steel
Analysing PKCS#11 Key Management APIs with Unbounded Fresh Data. ARSPA-WITS (2009)
Riccardo Focardi, Flaminia L. Luccio, Graham Steel
Blunting Differential Attacks on PIN Processing APIs. NordSec (2009)
Stéphanie Delaune, Steve Kremer, Graham Steel
Formal Analysis of PKCS#11. CSF (2008)
Véronique Cortier, Stéphanie Delaune, Graham Steel
A Formal Theory of Key Conjuring. CSF (2007)
Véronique Cortier, Gavin Keighren, Graham Steel
Automatic Analysis of the Security of XOR-Based Key Management Schemes. TACAS (2007)
Graham Steel, Alan Bundy
Attacking Group Protocols by Refuting Incorrect Inductive Conjectures. J. Autom. Reason. 36 (1-2) (2006)
Graham Steel
Formal analysis of PIN block attacks. Theor. Comput. Sci. 367 (1-2) (2006)
Graham Steel
The Importance of Non-theorems and Counterexamples in Program Verification. VSTTE (2005)
Graham Steel, Alan Bundy
Attacking Group Multicast Key Management Protocols Using Coral. Electron. Notes Theor. Comput. Sci. 125 (1) (2005)
Graham Steel
Deduction with XOR Constraints in Security API Modelling. CADE (2005)
Graham Steel, Alan Bundy, Monika Maidl
Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures. IJCAR (2004)

Graham Steel.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Graham Steel