Search the dblp DataBase

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]