Steve Schneider
University of Surrey(GB)
Publications by Year
Research Areas
Formal Methods in Verification, Cryptography and Data Security, Internet Traffic Analysis and Secure E-voting, Advanced Authentication Protocols Security, User Authentication and Security Systems
Most-Cited Works
- → The FCRAO Extragalactic CO Survey. I. The Data(1995)444 cited
- Concurrent and Real-time Systems: The CSP Approach(1999)
- Modelling and analysis of security protocols(2001)
- The modelling and analysis of security protocols: the csp approach(2000)
- → A Practical Voter-Verifiable Election Scheme(2005)254 cited
- → CSP and anonymity(1996)201 cited
- → Verifying authentication protocols in CSP(1998)185 cited
- → A brief history of Timed CSP(1995)179 cited
- → PrÊt À Voter: a Voter-Verifiable Voting System(2009)174 cited