Steve Schneider

Steve Schneider

Director of Computer Science Research Centre; Professor of Computing, University of …
Verified email at surrey.ac.uk
Cited by 10237
Security Privacy and Trust Electronic Voting Protocol modelling and verification Formal Methods.