Graham Steel
Graham Steel
INRIA
Dirección de correo verificada de cryptosense.com
Título
Citado por
Citado por
Año
Attacking and fixing PKCS# 11 security tokens
M Bortolozzo, M Centenaro, R Focardi, G Steel
Proceedings of the 17th ACM conference on Computer and communications …, 2010
1092010
Efficient padding oracle attacks on cryptographic hardware
R Bardou, R Focardi, Y Kawamoto, L Simionato, G Steel, JK Tsay
Annual Cryptology Conference, 608-625, 2012
1062012
Formal analysis of protocols based on TPM state registers
S Delaune, S Kremer, MD Ryan, G Steel
2011 IEEE 24th Computer Security Foundations Symposium, 66-80, 2011
672011
Formal analysis of PKCS# 11
S Delaune, S Kremer, G Steel
2008 21st IEEE Computer Security Foundations Symposium, 331-344, 2008
592008
Formal analysis of privacy for vehicular mix-zones
M Dahl, S Delaune, G Steel
European Symposium on Research in Computer Security, 55-70, 2010
512010
A formal analysis of authentication in the TPM
S Delaune, S Kremer, MD Ryan, G Steel
International Workshop on Formal Aspects in Security and Trust, 111-125, 2010
512010
Automatic analysis of the security of XOR-based key management schemes
V Cortier, G Keighren, G Steel
International Conference on Tools and Algorithms for the Construction and …, 2007
472007
Analysing PKCS# 11 key management APIs with unbounded fresh data
S Fröschle, G Steel
Joint Workshop on Automated Reasoning for Security Protocol Analysis and …, 2009
452009
Formal security analysis of PKCS# 11 and proprietary extensions
S Delaune, S Kremer, G Steel
Journal of Computer Security 18 (6), 1211-1245, 2010
442010
Formal analysis of PIN block attacks
G Steel
Theoretical Computer Science 367 (1-2), 257-270, 2006
422006
Type-based analysis of PIN processing APIs
M Centenaro, R Focardi, FL Luccio, G Steel
European Symposium on Research in Computer Security, 53-68, 2009
322009
A generic security API for symmetric key management on cryptographic devices
V Cortier, G Steel
European Symposium on Research in Computer Security, 605-620, 2009
302009
YubiSecure? Formal security analysis results for the Yubikey and YubiHSM
R Künnemann, G Steel
International Workshop on Security and Trust Management, 257-272, 2012
282012
Deduction with XOR constraints in security API modelling
G Steel
International Conference on Automated Deduction, 322-336, 2005
272005
Finding counterexamples to inductive conjectures and discovering security protocol attacks
G Steel, A Bundy, E Denney
Foundations of Computer Security, 49, 2002
262002
Security for key management interfaces
S Kremer, G Steel, B Warinschi
2011 IEEE 24th Computer Security Foundations Symposium, 266-280, 2011
242011
Attacking group protocols by refuting incorrect inductive conjectures
G Steel, A Bundy
Journal of Automated Reasoning 36 (1-2), 149-176, 2006
242006
Artificial intelligence and scientific creativity
S Colton, G Steel
Artificial Intelligence and the Study of Behaviour Quarterly 102, 1999
201999
An introduction to security API analysis
R Focardi, FL Luccio, G Steel
International School on Foundations of Security Analysis and Design, 35-65, 2011
192011
Attacking group multicast key management protocols using CORAL
G Steel, A Bundy
Electronic Notes in Theoretical Computer Science 125 (1), 125-144, 2005
192005
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20