BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Steel:Graham

Contributed to:

TACAS 20072007
CADE 20052005
IJCAR 20042004

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.