Bill Roscoe (A.W. Roscoe)

Cited by

	All	Since 2020
Citations	17664	2148
h-index	57	20
i10-index	147	35

840

420

210

630

198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202544 126 118 172 189 276 248 296 229 274 300 265 310 404 432 431 477 585 560 703 663 642 632 712 831 639 665 669 571 552 575 497 506 472 441 408 402 440 425 27

Public access

View all

9 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Michael GoldsmithAssociate Professor and Senior Research Fellow, Cybersecurity Analytics Group, Department ofVerified email at cs.ox.ac.uk
Ranko LazicDepartment of Computer Science, University of WarwickVerified email at warwick.ac.uk
Peter RyanProfessor of applied security, university of luxembourgVerified email at uni.lu
Thomas Gibson-RobinsonDepartment of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Sadie CreeseProfessor of CybersecurityVerified email at cs.ox.ac.uk
Steve SchneiderDirector of Computer Science Research Centre; Professor of Computing, University of SurreyVerified email at surrey.ac.uk
Pedro AntoninoResearcher at The Blockhouse Technology LimitedVerified email at tbtl.com
Ivan FlechaisUniversity of OxfordVerified email at cs.ox.ac.uk
Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
Alexandre BoulgakovDepartment of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
T. Yung Kong (Tat Yung Kong)Professor of Computer Science, Queens College of the City University of New YorkVerified email at euclid.cs.qc.cuny.edu
James WorrellProfessor of Computer Science, Oxford UniversityVerified email at cs.ox.ac.uk
Xin HuangTaiyuan University of TechnologyVerified email at huangstudio.org
Ian James HayesProfessor of Software Engineering, The University of QueenslandVerified email at uq.edu.au
Carroll MorganProfessor, University of New South WalesVerified email at unsw.edu.au
Han LiuUniversity College Oxford Blockchain Research Centre, The Blockhouse Technology Ltd.Verified email at tbtl.com
Jim DaviesUniversity of OxfordVerified email at cs.ox.ac.uk
Jim WoodcockProfessor of Software Engineering, University of YorkVerified email at york.ac.uk
Hristina PalikarevaCiscoVerified email at cisco.com
Michael MisloveTulane UniversityVerified email at tulane.edu

Bill Roscoe (A.W. Roscoe)

Emeritus Professor of Computer Science, Oxford University

Verified email at cs.ox.ac.uk - Homepage

concurrency verification security FinTech computer science


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
The Theory and Practice of Concurrency. international series in computer science AW Roscoe Prentice-Hall, 1997	2980*	1997
A theory of communicating sequential processes SD Brookes, CAR Hoare, AW Roscoe Journal of the ACM (JACM) 31 (3), 560-599, 1984	1837	1984
Modelling and Analysis of Security Protocols: the CSP approach P Ryan, S Schneider, M Goldsmith, G Lowe, AW Roscoe Addison Wesley, 2001	851	2001
A timed model for communicating sequential processes GM Reed, AW Roscoe International Colloquium on Automata, Languages, and Programming, 314-323, 1986	788	1986
Laws of programming CAR Hoare, IJ Hayes, H Jifeng, CC Morgan, AW Roscoe, JW Sanders, ... Communications of the ACM 30 (8), 672-686, 1987	617	1987
Understanding concurrent systems AW Roscoe Springer-Verlag New York Inc, 2010	521	2010
Model− checking CSP B Roscoe A classical Mind, Essays in honour of C.A.R. Hoare, 1994	467	1994
Reguard: finding reentrancy bugs in smart contracts C Liu, H Liu, Z Cao, Z Chen, B Chen, B Roscoe Proceedings of the 40th International Conference on Software Engineering …, 2018	412	2018
An improved failures model for communicating processes SD Brookes, AW Roscoe International Conference on Concurrency, 281-305, 1984	385	1984
FDR3—A Modern Refinement Checker for CSP T Gibson-Robinson, P Armstrong, A Boulgakov, AW Roscoe TACAS, 2014	368	2014
The laws of occam programming AW Roscoe, CAR Hoare Theoretical Computer Science 60 (2), 177-229, 1988	358	1988
Modelling and verifying key-exchange protocols using CSP and FDR AW Roscoe Proceedings The Eighth IEEE Computer Security Foundations Workshop, 98-107, 1995	322	1995
Using CSP to detect errors in the TMN protocol G Lowe, AW Roscoe Software Engineering, IEEE Transactions on 23 (10), 659-669, 1997	314	1997
CSP and determinism in security modelling AW Roscoe Proceedings 1995 IEEE Symposium on Security and Privacy, 114-127, 1995	304	1995
Star covering properties EK Van Douwen, GM Reed, AW Roscoe, IJ Tree Topology and its Applications 39 (1), 71-103, 1991	279	1991
Security and usability: Analysis and evaluation R Kainda, I Flechais, AW Roscoe 2010 international conference on availability, reliability and security, 275-282, 2010	224	2010
Concepts of digital topology TY Kong, AW Roscoe, A Rosenfeld Topology and its Applications 46, 1992	192	1992
Hierarchical compression for model-checking CSP or how to check 10^20 dining philosophers for deadlock AW Roscoe, PHB Gardiner, MH Goldsmith, JR Hulance, DM Jackson, ... Tools and Algorithms for the Construction and Analysis of Systems, 133-152, 1995	182	1995
Usability and security of out-of-band channels in secure device pairing protocols R Kainda, I Flechais, AW Roscoe Proceedings of the 5th Symposium on Usable Privacy and Security, 1-12, 2009	173	2009
Non-interference through determinism AW Roscoe, JCP Woodcock, L Wulf Computer Security—ESORICS 94: Third European Symposium on Research in …, 1994	171	1994

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors