Steve Schneider - Concepedia

Author

Steve Schneider

Also Known As

Belaïd, Sonia, Liang, Kaitai, Manulis, Mark, Martinelli, Fabio, Polikarpova, Nadia 1985-, Ryan, Peter, S A Schneider, S. A. Schneider, S. Schneider, S.A Schneider

286

Publications

6.2K

Citations

H-Index

Concepts

All Affiliations

University of Surrey Royal Holloway University of London University of Oxford The University of Melbourne University of London

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	21	33	2K
2	Arts	2	2	55
3	Medicine	2	2	80
4	Business	1	1	22
5	Law	1	1	10

Steve Schneider

Publications

3.1K

Citations

H-Index

Page 1

	Year	Citations
The FCRAO Extragalactic CO Survey. I. The Data Judith S. Young, Shuding Xie, L. J. Tacconi, The Astrophysical Journal Supplement Series	1995	444
Verifying authentication protocols in CSP Steve Schneider IEEE Transactions on Software Engineering Authentication ProtocolsAuthentication PropertiesConcurrent RunsEngineeringAuthentication Protocol	1998	185
A brief history of Timed CSP Jim Davies, Steve Schneider Theoretical Computer Science EngineeringTiming AnalysisFormal MethodsReal-time ComputingComputer Science	1995	179
An Operational Semantics for Timed CSP Steve Schneider Information and Computation Formal SpecificationEngineeringProgram AnalysisAutomated ReasoningVerification	1995	149
How to prevent type flaw attacks on security protocols James Heather, Gavin Lowe, Steve Schneider Type Flaw AttackEngineeringInformation SecurityVerificationCryptographic Protocol	2002	128
Process algebra and non-interference Peter Y. A. Ryan, Steve Schneider EngineeringInformation SecurityComputer Security ModelFormal VerificationHardware Security	2003	128
Verifying authentication protocols with CSP Steve Schneider Authentication ProtocolsAuthentication PropertiesFormal SpecificationEngineeringAuthentication Protocol	2002	114
How to prevent type flaw attacks on security protocols James Heather, Gavin Lowe, Steve Schneider Journal of Computer Security Type Flaw AttackEngineeringInformation SecurityVerificationCryptographic Protocol	2003	102
Formal analysis of a non-repudiation protocol Steve Schneider EngineeringInformation SecurityVerificationProtocol ComplianceCryptographic Protocol	2002	99
An attack on a recursive authentication protocol A cautionary tale Peter Y. A. Ryan, Steve Schneider Information Processing Letters Lightweight Authentication MechanismEngineeringAuthentication ProtocolInformation SecurityVerification	1998	99

Page 1