Graham Steel
Graham Steel
INRIA
Verifierad e-postadress på cryptosense.com
Titel
Citeras av
Citeras av
År
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
1152010
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
1122012
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
692011
Formal analysis of PKCS# 11
S Delaune, S Kremer, G Steel
2008 21st IEEE Computer Security Foundations Symposium, 331-344, 2008
642008
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
552010
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
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
502007
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
462009
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
332012
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
322009
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
Deduction with XOR constraints in security API modelling
G Steel
International Conference on Automated Deduction, 322-336, 2005
292005
Finding counterexamples to inductive conjectures and discovering security protocol attacks
G Steel, A Bundy, E Denney
Foundations of Computer Security, 49, 2002
272002
Attacking group protocols by refuting incorrect inductive conjectures
G Steel, A Bundy
Journal of Automated Reasoning 36 (1-2), 149-176, 2006
262006
Security for key management interfaces
S Kremer, G Steel, B Warinschi
2011 IEEE 24th Computer Security Foundations Symposium, 266-280, 2011
252011
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
Formal analysis of privacy for anonymous location based services
M Dahl, S Delaune, G Steel
Joint Workshop on Theory of Security and Applications, 98-112, 2011
192011
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20