| Concurrent and Real-time systems S Schneider The CSP Approach, 2000 | 784 | 2000 |
| The modelling and analysis of security protocols: the CSP approach P Ryan, S Schneider, M Goldsmith, G Lowe, B Roscoe Addison-Wesley Professional, 2001 | 730 | 2001 |
| A practical voter-verifiable election scheme D Chaum, PYA Ryan, S Schneider European Symposium on Research in Computer Security, 118-139, 2005 | 455 | 2005 |
| Verifying authentication protocols in CSP S Schneider IEEE Transactions on software engineering 24 (9), 741-758, 1998 | 421 | 1998 |
| The B-method: An introduction S Schneider Palgrave, 2001 | 335 | 2001 |
| Security properties and CSP S Schneider Proceedings 1996 IEEE Symposium on Security and Privacy, 174-187, 1996 | 335 | 1996 |
| Process algebra and non-interference PYA Ryan, SA Schneider Journal of Computer Security 9 (1-2), 75-103, 2001 | 303 | 2001 |
| How to prevent type flaw attacks on security protocols J Heather, G Lowe, S Schneider Journal of computer Security 11 (2), 217-244, 2003 | 294 | 2003 |
| CSP and anonymity S Schneider, A Sidiropoulos European Symposium on Research in Computer Security, 198-218, 1996 | 255 | 1996 |
| An operational semantics for timed CSP S Schneider Information and computation 116 (2), 193-213, 1995 | 244 | 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 | 218* | 2009 |
| A brief history of Timed CSP J Davies, S Schneider Theoretical Computer Science 138 (2), 243-271, 1995 | 214 | 1995 |
| Formal analysis of a non-repudiation protocol S Schneider Proceedings. 11th IEEE Computer Security Foundations Workshop (Cat. No …, 1998 | 185 | 1998 |
| Prêt à voter with re-encryption mixes PYA Ryan, SA Schneider European Symposium on Research in Computer Security, 313-326, 2006 | 166 | 2006 |
| An attack on a recursive authentication protocol A cautionary tale PYA Ryan, SA Schneider Information Processing Letters 65 (1), 7-10, 1998 | 148 | 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 | 119 | 1991 |
| Using a process algebra to control B operations H Treharne, S Schneider IFM’99, 437-456, 1999 | 115 | 1999 |
| CSP theorems for communicating B machines S Schneider, H Treharne Formal Aspects of Computing 17 (4), 390-422, 2005 | 113 | 2005 |
| An Introduction to Timer CSP J Davies, S Schneider Oxford University Computing Laboratory, Programming Research Group, 1989 | 104 | 1989 |
| Analysing time dependent security properties in CSP using PVS N Evans, S Schneider European Symposium on Research in Computer Security, 222-237, 2000 | 98 | 2000 |
Helen TreharneProfessor, Department of Computer Science, University of SurreyVerified email at surrey.ac.uk
