Graham Steel
Graham Steel
INRIA
Adresse e-mail validée de cryptosense.com
Titre
Citée par
Citée par
Année
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
1132012
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
1132010
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
702011
Formal analysis of PKCS# 11
S Delaune, S Kremer, G Steel
2008 21st IEEE Computer Security Foundations Symposium, 331-344, 2008
662008
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
592010
Formal analysis of privacy for vehicular mix-zones
M Dahl, S Delaune, G Steel
European Symposium on Research in Computer Security, 55-70, 2010
542010
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
492007
Formal security analysis of PKCS# 11 and proprietary extensions
S Delaune, S Kremer, G Steel
Journal of Computer Security 18 (6), 1211-1245, 2010
462010
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 analysis of PIN block attacks
G Steel
Theoretical Computer Science 367 (1-2), 257-270, 2006
452006
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
362012
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
312009
Deduction with XOR constraints in security API modelling
G Steel
International Conference on Automated Deduction, 322-336, 2005
292005
Attacking group protocols by refuting incorrect inductive conjectures
G Steel, A Bundy
Journal of Automated Reasoning 36 (1-2), 149-176, 2006
272006
Finding counterexamples to inductive conjectures and discovering security protocol attacks
G Steel, A Bundy, E Denney
Foundations of Computer Security, 49, 2002
272002
Security for key management interfaces
S Kremer, G Steel, B Warinschi
2011 IEEE 24th Computer Security Foundations Symposium, 266-280, 2011
242011
An introduction to security API analysis
R Focardi, FL Luccio, G Steel
International School on Foundations of Security Analysis and Design, 35-65, 2011
202011
Artificial intelligence and scientific creativity
S Colton, G Steel
Artificial Intelligence and the Study of Behaviour Quarterly 102, 1999
201999
From Computationally-Proved Protocol Specifications to Implementations and Application to SSH.
D Cadé, B Blanchet
J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 4 (1), 4-31, 2013
192013
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20