Selected publications by Graham Steel
Books
Chapters in Books
Journals
Conferences
-
M. Dahl, S. Delaune and G. Steel. Formal Analysis of Privacy for Anonymous Location Based Services. In TOSCA'11, LNCS 6993, pages 98-112. Springer, 2012. ( PDF | BibTeX + Abstract )
-
S. Delaune, S. Kremer, M. D. Ryan and G. Steel. Formal analysis of protocols based on TPM state registers. In CSF'11, pages 66-82. IEEE Computer Society Press, 2011. ( PDF | BibTeX + Abstract )
-
S. Kremer, G. Steel and B. Warinschi. Security for Key Management Interfaces. In CSF'11, pages 266-280. IEEE Computer Society Press, 2011. ( PDF | PDF (long version) | BibTeX + Abstract )
-
M. Bortolozzo, M. Centenaro, R. Focardi and G. Steel. Attacking and Fixing PKCS#11 Security Tokens. In CCS'10, pages 260-269. ACM Press, 2010. ( PDF | BibTeX + Abstract )
-
M. Dahl, S. Delaune and G. Steel. Formal Analysis of Privacy for Vehicular Mix-Zones. In ESORICS'10, LNCS 6345, pages 55-70. Springer, 2010. ( PDF | PS | PS.GZ | BibTeX + Abstract )
-
S. Delaune, S. Kremer, M. D. Ryan and G. Steel. A Formal Analysis of Authentication in the TPM. In FAST'10, LNCS 6561, pages 111-125. Springer, 2010. ( PDF | PS | PS.GZ | BibTeX + Abstract )
-
R. Focardi, F. L. Luccio and G. Steel. Blunting Differential Attacks on PIN Processing APIs. In NordSec'09, LNCS 5838, pages 88-103. Springer, 2009. ( PDF | BibTeX + Abstract )
-
M. Centenaro, R. Focardi, F. L. Luccio and G. Steel. Type-based Analysis of PIN Processing APIs. In ESORICS'09, LNCS 5789, pages 53-68. Springer, 2009. ( PDF | BibTeX + Abstract )
-
V. Cortier and G. Steel. A generic security API for symmetric key management on cryptographic
devices. In ESORICS'09, LNCS 5789, pages 605-620. Springer, 2009. ( PDF | BibTeX + Abstract )
-
S. Fröschle and G. Steel. Analysing PKCS#11 Key Management APIs with Unbounded Fresh Data. In ARSPA-WITS'09, LNCS 5511, pages 92-106. Springer, 2009. ( PDF | BibTeX + Abstract )
-
G. Keighren, D. Aspinall and G. Steel. Towards a Type System for Security APIs. In ARSPA-WITS'09, LNCS 5511, pages 173-192. Springer, 2009. ( PDF | BibTeX + Abstract )
-
G. Steel. The Importance of Non-theorems and Counterexamples in Program
Verification. In VSTTE'05, LNCS 4171, pages 491-495. Springer, 2008. ( PDF | BibTeX + Abstract )
-
S. Delaune, S. Kremer and G. Steel. Formal Analysis of PKCS#11. In CSF'08, pages 331-344. IEEE Computer Society Press, 2008. ( PDF | PDF (long version) | PS (long version) | PS.GZ (long version) | BibTeX + Abstract )
-
V. Cortier, S. Delaune and G. Steel. A Formal Theory of Key Conjuring. In CSF'07, pages 79-93. IEEE Computer Society Press, 2007. ( PDF | PS | PS.GZ | PDF (long version) | Slides | BibTeX + Abstract )
-
V. Cortier, G. Keighren and G. Steel. Automatic Analysis of the Security of XOR-Based Key Management
Schemes. In TACAS'07, LNCS 4424, pages 538-552. Springer, 2007. ( PDF | Slides | BibTeX + Abstract )
-
G. Steel. Deduction with XOR Constraints in Security API Modelling. In CADE'05, LNAI 3632, pages 322-336. Springer, 2005. ( PDF | Slides | BibTeX + Abstract )
-
G. Steel and A. Bundy. Attacking Group Multicast Key Management Protocols Using Coral. In ARSPA'04, ENTCS 125(1), pages 125-144. Elsevier Science Publishers, 2005. ( PDF | Slides | BibTeX + Abstract )
-
G. Steel, A. Bundy and M. Maidl. Attacking a Protocol for Group Key Agreement by Refuting Incorrect
Inductive Conjectures. In IJCAR'04, LNAI 3097, pages 137-151. Springer-Verlag, 2004. ( PDF | Slides | BibTeX + Abstract )
Theses
Other Publications