Steve Schneider

81 papers and 1.5k indexed citations i.

About

Steve Schneider has authored 81 papers that have received a total of 1.5k indexed citations. This includes 44 papers in Artificial Intelligence, 30 papers in Computer Networks and Communications and 28 papers in Computational Theory and Mathematics. The topics of these papers are Formal Methods in Verification (27 papers), Advanced Authentication Protocols Security (17 papers) and User Authentication and Security Systems (17 papers). Steve Schneider is often cited by papers focused on Formal Methods in Verification (27 papers), Advanced Authentication Protocols Security (17 papers) and User Authentication and Security Systems (17 papers) and collaborates with scholars based in United Kingdom, United States and Luxembourg. Steve Schneider's co-authors include Peter Y. A. Ryan, Helen Treharne, James Heather, Liqun Chen and Hoang Nga Nguyen and has published in prestigious journals such as The Astrophysical Journal Supplement Series, IEEE Transactions on Software Engineering and IEEE Transactions on Information Forensics and Security

In The Last Decade

Rankless by CCL
2025