The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Graham Steel: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Graham Steel
    Deduction with XOR Constraints in Security API Modelling. [Citation Graph (0, 0)][DBLP]
    CADE, 2005, pp:322-336 [Conf]
  2. Graham Steel, Alan Bundy, Monika Maidl
    Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2004, pp:137-151 [Conf]
  3. Graham Steel, Alan Bundy
    Attacking Group Multicast Key Management Protocols Using Coral. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:125, n:1, pp:125-144 [Journal]
  4. Graham Steel, Alan Bundy
    Attacking Group Protocols by Refuting Incorrect Inductive Conjectures. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2006, v:36, n:1-2, pp:149-176 [Journal]
  5. Graham Steel
    Formal analysis of PIN block attacks. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:367, n:1-2, pp:257-270 [Journal]
  6. Véronique Cortier, Gavin Keighren, Graham Steel
    Automatic Analysis of the Security of XOR-Based Key Management Schemes. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:538-552 [Conf]

  7. A Formal Theory of Key Conjuring. [Citation Graph (, )][DBLP]


  8. Formal Analysis of PKCS#11. [Citation Graph (, )][DBLP]


  9. Type-Based Analysis of PIN Processing APIs. [Citation Graph (, )][DBLP]


  10. A Generic Security API for Symmetric Key Management on Cryptographic Devices. [Citation Graph (, )][DBLP]


  11. Formal Analysis of Privacy for Vehicular Mix-Zones. [Citation Graph (, )][DBLP]


  12. Analysing PKCS#11 Key Management APIs with Unbounded Fresh Data. [Citation Graph (, )][DBLP]


  13. Towards a Type System for Security APIs. [Citation Graph (, )][DBLP]


  14. The Importance of Non-theorems and Counterexamples in Program Verification. [Citation Graph (, )][DBLP]


  15. Blunting Differential Attacks on PIN Processing APIs. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002