Concepedia

Steve Schneider

SS

54

Publications

3.1K

Citations

28

H-Index

1991

Active since

Affiliations

University of Surrey(Current)

Royal Holloway University of London

University of Oxford

The University of Melbourne

University of London

Steve Schneider is an author at University of Surrey specializing in engineering, formal verification, and computer science.

Top concepts

EngineeringComputer ScienceFormal VerificationInformation SecurityCryptographyData SecurityFormal MethodsVerificationData PrivacyHardware Security

Publications per year

1991–2022

54

Publications

54

The FCRAO Extragalactic CO Survey. I. The Data

Judith S. Young, Shuding Xie, L. J. Tacconi et al. · The Astrophysical Journal Supplement Series · 1995 · 444 citations

Verifying authentication protocols in CSP

Steve Schneider · IEEE Transactions on Software Engineering · 1998 · 185 citations

Authentication Protocols, Authentication Properties, Concurrent Runs +14

A brief history of Timed CSP

Jim Davies, Steve Schneider · Theoretical Computer Science · 1995 · 179 citations

Engineering, Timing Analysis, Formal Methods +5

An Operational Semantics for Timed CSP

Steve Schneider · Information and Computation · 1995 · 149 citations

Formal Specification, Engineering, Program Analysis +8

How to prevent type flaw attacks on security protocols

James Heather, Gavin Lowe, Steve Schneider · 2002 · 128 citations

Type Flaw Attack, Engineering, Information Security +17

Rows per page

1–5 of 54