Steve Schneider

Steve Schneider is Professor of Secure Systems and Director of the Computer Science Research Centre at the University of Surrey. He was Founding Director of the Surrey Centre for Cyber Security and previously served as Head of Department of Computer Science and Faculty Associate Dean for Research and Innovation. He leads the University’s involvement in the Defence Data Research Centre (DDRC), is Cyber Security lead in the Centre for the Decentralised Digital Economy (DECaDE), and a member of the AP4L project on Adaptive PETs to Protect and emPower People during Life Transitions. He is a member of the Executive Board of CyBOK.

His research interests span formal modelling and verification for secure systems, with a focus on approaches for establishing security, privacy, and digital identity.

Prof Schneider has a long-standing interest in Secure Electronic Voting, starting with the design and development of the Prêt à Voter verifiable voting system, and its implementation in the vVote system used in the 2014 State Election in Victoria, Australia. He continues to lead research into verifiable voting and the use of Distributed Ledger Technologies in this domain.

These interests are grounded in earlier work in formal methods and in security around modelling and verification of security protocols, and in non-interference. This work has focused on methods for analysis of protocols between agents interacting in an adversarial environment and proving that they provide critical authentication and confidentiality properties.