| 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 | 132 | 2010 |
| Efficient padding oracle attacks on cryptographic hardware R Bardou, R Focardi, Y Kawamoto, L Simionato, G Steel, JK Tsay Advances in Cryptology–CRYPTO 2012: 32nd Annual Cryptology Conference, Santa …, 2012 | 128 | 2012 |
| 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 | 78 | 2011 |
| Formal analysis of PKCS# 11 S Delaune, S Kremer, G Steel 2008 21st IEEE Computer Security Foundations Symposium, 331-344, 2008 | 76 | 2008 |
| A formal analysis of authentication in the TPM S Delaune, S Kremer, MD Ryan, G Steel Formal Aspects of Security and Trust: 7th International Workshop, FAST 2010 …, 2011 | 64 | 2011 |
| YubiSecure? Formal security analysis results for the Yubikey and YubiHSM R Künnemann, G Steel Security and Trust Management: 8th International Workshop, STM 2012, Pisa …, 2013 | 53 | 2013 |
| Formal security analysis of PKCS# 11 and proprietary extensions S Delaune, S Kremer, G Steel Journal of Computer Security 18 (6), 1211-1245, 2010 | 52 | 2010 |
| Formal analysis of privacy for vehicular mix-zones M Dahl, S Delaune, G Steel Computer Security–ESORICS 2010: 15th European Symposium on Research in …, 2010 | 52 | 2010 |
| Automatic analysis of the security of XOR-based key management schemes V Cortier, G Keighren, G Steel Tools and Algorithms for the Construction and Analysis of Systems: 13th …, 2007 | 50 | 2007 |
| Analysing PKCS# 11 key management APIs with unbounded fresh data S Fröschle, G Steel Foundations and Applications of Security Analysis: Joint Workshop on …, 2009 | 49 | 2009 |
| Formal analysis of PIN block attacks G Steel Theoretical Computer Science 367 (1-2), 257-270, 2006 | 48 | 2006 |
| Type-based analysis of PIN processing APIs M Centenaro, R Focardi, FL Luccio, G Steel Computer Security–ESORICS 2009: 14th European Symposium on Research in …, 2009 | 38 | 2009 |
| A generic security API for symmetric key management on cryptographic devices V Cortier, G Steel Computer Security–ESORICS 2009: 14th European Symposium on Research in …, 2009 | 34 | 2009 |
| Attacking group protocols by refuting incorrect inductive conjectures G Steel, A Bundy Journal of Automated Reasoning 36, 149-176, 2006 | 28 | 2006 |
| Deduction with XOR constraints in security API modelling G Steel CADE, 322-336, 2005 | 28 | 2005 |
| Finding counterexamples to inductive conjectures and discovering security protocol attacks G Steel, A Bundy, E Denney Foundations of Computer Security, 49, 2002 | 27 | 2002 |
| Security for key management interfaces S Kremer, G Steel, B Warinschi 2011 IEEE 24th Computer Security Foundations Symposium, 266-280, 2011 | 26 | 2011 |
| Artificial intelligence and scientific creativity S Colton, G Steel Artificial Intelligence and the Study of Behaviour Quarterly 102, 1999 | 24 | 1999 |
| An introduction to security API analysis R Focardi, FL Luccio, G Steel Foundations of Security Analysis and Design VI: FOSAD Tutorial Lectures 11 …, 2011 | 22 | 2011 |
| Formal analysis of privacy for anonymous location based services M Dahl, S Delaune, G Steel Theory of Security and Applications: Joint Workshop, TOSCA 2011, Saarbrücken …, 2012 | 21 | 2012 |
