Graham Steel - RankMe

39 papers A* 4A 13Journal 8Unranked 11

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