Andrew Roscoe - Publications#

Full list of publications

According to Google Scholar: H index 36, G index 89, >8500 citations. In all 15 works with more than 100 citations.

Major Publications in last 5 years:

Understanding Concurrent Systems (Springer 2010, 536 pages)

CSP is expressive enough for pi (Reflections on the work of CAR Hoare, 2010)

Authentication protocols based on low?bandwidth unspoofable channels: a comparative survey
L.H. Nguyen and A.W. Roscoe
Journal of Computer Security. Vol. 19. 2011.

Authenticating ad hoc networks by comparison of short digests
A. W. Roscoe and L. H. Nguyen
Information and Computation. Vol. 206. Pages 250?271. 2008.

Revivals‚stuckness and the hierarchy of CSP Models JLAP Vol. 78, 2009

Works over longer period

A theory of Communicating Sequential Processes (JACM, 1984), with S.D. Brookes and C.A.R. Hoare 1100 citations

Theory and practice of concurrency (Prentice-Hall, 1997) 1750 citations A timed model of Communicating Sequential Processes (TCS, 1988) with G.M. Reed, 450 citations.

The modelling and analysis of security protocols , (Pearson 2000), with M.H. Goldsmith, G. Lowe, P. Ryan and S.A. Schneider, 460 citations

Model-checking CSP (A Classical Mind, Prentice-Hall 1994), 265 citations. CSP and determinism in security modelling, (IEEE symposium on security and privacy, 1995) 150 citations.