Travelled to:1 × Estonia
1 × Ireland
1 × Portugal
Collaborated with:∅ V.Cortier G.Keighren A.Bundy M.Maidl
Talks about:secur (2) xor (2) key (2) constraint (1) incorrect (1) conjectur (1) agreement (1) protocol (1) automat (1) analysi (1)
Person: Graham Steel
DBLP: Steel:Graham
Contributed to:
2007
2005
2004Wrote 3 papers:
- TACAS-2007-CortierKS #analysis #automation #security
- Automatic Analysis of the Security of XOR-Based Key Management Schemes (VC, GK, GS), pp. 538–552.
- CADE-2005-Steel #api #constraints #deduction #modelling #security
- Deduction with XOR Constraints in Security API Modelling (GS), pp. 322–336.
- IJCAR-2004-SteelBM #induction #protocol
- Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures (GS, AB, MM), pp. 137–151.