Steve Schneider

Cited by

	All	Since 2017
Citations	8936	1353
h-index	39	19
i10-index	104	37

560

280

140

420

1991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202234 41 56 44 58 72 87 107 141 203 211 242 425 371 513 503 453 547 497 447 402 408 380 403 361 382 254 252 243 245 243 116

Public access

View all

25 articles

1 article

available

not available

Based on funding mandates

Co-authors

Helen TreharneProfessor, Department of Computer Science, University of SurreyVerified email at surrey.ac.uk
Peter RyanProfessor of applied security, university of luxembourgVerified email at uni.lu
James HeatherSenior Lecturer in Computing, University of SurreyVerified email at surrey.ac.uk
Jim DaviesUniversity of OxfordVerified email at cs.ox.ac.uk
Chris CulnaneUniversity of Melbourne (School of Computing and Information Systems)Verified email at unimelb.edu.au
Vanessa TeagueThinking Cybersecurity and The Australian National UniversityVerified email at anu.edu.au
Bill Roscoe (A.W. Roscoe)Professor of Computer Science, Oxford UniversityVerified email at cs.ox.ac.uk
Markus RoggenbachProfessor of Computer Science, Swansea UniversityVerified email at swan.ac.uk
Liqun ChenProfessor, University of Surrey, UKVerified email at surrey.ac.uk
Stephan WesemeyerUniversity of SurreyVerified email at surrey.ac.uk
David BismarkVotatoVerified email at krimmer.at
Heike WehrheimUniversity of OldenburgVerified email at uni-oldenburg.de
Sriramkrishnan SrinivasanUniversity of Surrey

Steve Schneider

Director of Surrey Centre for Cyber Security; Professor of Computing, University of Surrey

Verified email at surrey.ac.uk - Homepage

Security Privacy and Trust Electronic Voting Rail Formal Methods.


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Concurrent and real-time systems: the CSP approach S Schneider John Wiley & Sons, 1999	818	1999
The modelling and analysis of security protocols: the CSP approach P Ryan, S Schneider, M Goldsmith, G Lowe, B Roscoe Addison-Wesley Professional, 2001	776	2001
A practical voter-verifiable election scheme D Chaum, PYA Ryan, S Schneider European Symposium on Research in Computer Security, 118-139, 2005	489	2005
Verifying authentication protocols in CSP S Schneider IEEE Transactions on software engineering 24 (9), 741-758, 1998	423	1998
The B-method: An introduction S Schneider Palgrave, 2001	353	2001
Security properties and CSP S Schneider Proceedings 1996 IEEE Symposium on Security and Privacy, 174-187, 1996	353	1996
Process algebra and non-interference PYA Ryan, SA Schneider Proceedings of the 12th IEEE Computer Security Foundations Workshop, 214-227, 1999	312	1999
Real-Time Systems: specification, verification, and analysis A Burns, A Welling, K Ramamritham, J Hooman, S Schneider, Z Liu, ... prentice Hall, 1996	308	1996
How to prevent type flaw attacks on security protocols J Heather, G Lowe, S Schneider Journal of computer Security 11 (2), 217-244, 2003	307	2003
CSP and anonymity S Schneider, A Sidiropoulos European Symposium on Research in Computer Security, 198-218, 1996	273	1996
An operational semantics for timed CSP S Schneider Information and computation 116 (2), 193-213, 1995	267	1995
PrÊt À Voter:a Voter-Verifiable Voting System PYA Ryan, D Bismark, J Heather, S Schneider, Z Xia IEEE transactions on information forensics and security 4 (4), 662-673, 2009	251*	2009
A brief history of Timed CSP J Davies, S Schneider Theoretical Computer Science 138 (2), 243-271, 1995	208	1995
Formal analysis of a non-repudiation protocol S Schneider Proceedings. 11th IEEE Computer Security Foundations Workshop (Cat. No …, 1998	188	1998
Prêt à voter with re-encryption mixes PYA Ryan, SA Schneider European Symposium on Research in Computer Security, 313-326, 2006	180	2006
An attack on a recursive authentication protocol A cautionary tale PYA Ryan, SA Schneider Information Processing Letters 65 (1), 7-10, 1998	145	1998
Timed CSP: Theory and practice S Schneider, J Davies, DM Jackson, GM Reed, JN Reed, AW Roscoe Proceedings of the Real-Time: Theory in Practice, REX Workshop, 640-675, 1991	124	1991
CSP theorems for communicating B machines S Schneider, H Treharne Formal Aspects of Computing 17 (4), 390-422, 2005	122	2005
Using a process algebra to control B operations H Treharne, S Schneider IFM’99, 437-456, 1999	116	1999
An Introduction to Timer CSP J Davies, S Schneider Oxford University Computing Laboratory, Programming Research Group, 1989	109	1989

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 this author

Cited by

Co-authors