World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
36
Citations
10019
World Ranking
10998
National Ranking
692

Overview

Steve Schneider is affiliated with the University of Surrey in the United Kingdom. Their research spans multiple areas within computer science, with a focus on privacy, security, and data protection as well as blockchain technology applications and security.

The main fields of study for Steve Schneider include:

  • Computer Science

Within computer science, their subfields of study encompass:

  • Artificial Intelligence
  • Information Systems
  • Sociology and Political Science
  • Computer Vision and Pattern Recognition
  • Software

Key research topics addressed in their work include:

  • Privacy, Security, and Data Protection
  • Blockchain Technology Applications and Security
  • User Authentication and Security Systems
  • Advanced Steganography and Watermarking Techniques
  • Advanced Software Engineering Methodologies
  • Distributed systems and fault tolerance
  • Internet Traffic Analysis and Secure E-voting

Steve Schneider has contributed to several recent papers. Notable publications include:

  • A Survey of Practical Formal Methods for Security, 2022, Formal Aspects of Computing
  • On the role of blockchain for self-sovereign identity, 2022, IET conference proceedings.
  • Vax-a-Net: Training-time Defence Against Adversarial Patch Attacks, 2020, arXiv (Cornell University)
  • Legislation-driven development of a Gift Aid system using Event-B, 2020, Formal Aspects of Computing
  • Mobile CSP

Best Publications

  • Concurrent and Real Time Systems

    Steve Schneider;John Wiley

  • The modelling and analysis of security protocols: the csp approach

    P. Ryan;S. Schneider

  • A practical voter-verifiable election scheme

    David Chaum;Peter Y. A. Ryan;Steve Schneider

  • Concurrent and Real-time Systems: The CSP Approach

    Steve Schneider

  • Verifying authentication protocols in CSP

    S. Schneider

  • Modelling and analysis of security protocols

    P Ryan;S Schneider;M Goldsmith;G Lowe

  • The B-Method: an Introduction

    Steve Schneider

  • Security properties and CSP

    Steve Schneider

  • Process algebra and non-interference

    P. Y. A. Ryan;S. A. Schneider

  • How to prevent type flaw attacks on security protocols

    James Heather;Gavin Lowe;Steve Schneider

  • How to prevent type flaw attacks on security protocols

    J. Heather;G. Lowe;S. Schneider

  • CSP and Anonymity

    Steve Schneider;Abraham Sidiropoulos

  • An Operational Semantics for Timed CSP

    S. Schneider

  • A brief history of Timed CSP

    Jim Davies;Steve Schneider

  • PrÊt À Voter: a Voter-Verifiable Voting System

    P.Y.A. Ryan;D. Bismark;J. Heather;S. Schneider

  • Formal analysis of a non-repudiation protocol

    S. Schneider

  • Prêt à Voter with Re-encryption Mixes

    P. Y. A. Ryan;S. A. Schneider

  • Verifying authentication protocols with CSP

    S. Schneider

  • Process algebra and non-interference

    P.Y.A. Ryan;S.A. Schneider

  • An attack on a recursive authentication protocol. A cautionary tale

    P. Y. A. Ryan;S. A. Schneider

Frequent Co-Authors

Peter Y. A. Ryan
Peter Y. A. Ryan University of Luxembourg
Liqun Chen
Liqun Chen University of Surrey
John Collomosse
John Collomosse University of Surrey
A. W. Roscoe
A. W. Roscoe University of Oxford
Nick Evans
Nick Evans University of Southampton
Fabio Martinelli
Fabio Martinelli National Research Council (CNR)
David Chaum
David Chaum DigiCash
Jim Woodcock
Jim Woodcock University of York
Frank Kargl
Frank Kargl University of Ulm
Joël Ouaknine
Joël Ouaknine Max Planck Institute for Software Systems

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring computer science in the USA opens doors to a wide range of online degrees and professional routes. Many students are now considering specialized fields that blend technology and science, extending well beyond traditional computer science roles.

If you are passionate about the environment, you may want to discover what can you do with an environmental studies degree. This field combines computer science with environmental data analysis and sustainability solutions. Similarly, those interested in the intersection of engineering and environmental innovation can explore an online environmental engineering degree science and engineering for a broader impact.

Accelerated programs are also gaining popularity. If you prefer a faster track, check out an accelerated computer science degree online to jumpstart your tech career. For those considering the cost and flexibility of an engineering path, a mechanical engineering degree online cost comparison can help you make an informed decision.

These related online options offer practical ways to tailor your skills for growing industries and emerging career opportunities.

Best Scientists Citing Steve Schneider

Trending Scientists

Recently Published Articles