Steve Schneider

Sitert av

	Alle	Siden 2019
Sitater	10376	1736
h-indeks	43	20
i10-indeks	118	43

620

310

155

465

199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202434 36 38 50 53 67 89 103 133 213 209 254 438 384 538 522 492 602 530 474 440 471 418 432 373 415 270 292 269 296 312 308 312 238

Offentlig tilgang

Vis alle

25 artikler

1 artikkel

tilgjengelige

ikke tilgjengelige

Basert på finansieringsmandater

Medforfattere

Helen TreharneProfessor, Surrey Centre for Cyber SecurityVerifisert e-postadresse på surrey.ac.uk
Peter RyanProfessor of applied security, university of luxembourgVerifisert e-postadresse på uni.lu
James HeatherSenior Lecturer in Computing, University of SurreyVerifisert e-postadresse på surrey.ac.uk
Jim DaviesUniversity of OxfordVerifisert e-postadresse på cs.ox.ac.uk
Chris CulnaneUniversity of Melbourne (School of Computing and Information Systems)Verifisert e-postadresse på unimelb.edu.au
Vanessa TeagueThinking Cybersecurity and The Australian National UniversityVerifisert e-postadresse på anu.edu.au
Markus RoggenbachProfessor of Computer Science, Swansea UniversityVerifisert e-postadresse på swan.ac.uk
Liqun ChenProfessor, University of Surrey, UKVerifisert e-postadresse på surrey.ac.uk
Bill Roscoe (A.W. Roscoe)Emeritus Professor of Computer Science, Oxford UniversityVerifisert e-postadresse på cs.ox.ac.uk
Stephan WesemeyerUniversity of SurreyVerifisert e-postadresse på surrey.ac.uk
David BismarkVotatoVerifisert e-postadresse på krimmer.at
Heike WehrheimUniversity of OldenburgVerifisert e-postadresse på uni-oldenburg.de
Sriramkrishnan SrinivasanUniversity of Surrey

Følg

Steve Schneider

Director of Computer Science Research Centre; Professor of Computing, University of Surrey

Verifisert e-postadresse på surrey.ac.uk - Startside

Security Privacy and Trust Electronic Voting Protocol modelling and verification Formal Methods.


Tittel Sorter etter sitater Sorter etter år Sorter etter tittel	Sitert av Sitert av	År
Concurrent and real-time systems: the CSP approach S Schneider John Wiley & Sons, 1999	862	1999
The modelling and analysis of security protocols: the CSP approach P Ryan, S Schneider, M Goldsmith, G Lowe, B Roscoe Addison-Wesley Professional, 2001	809	2001
A practical voter-verifiable election scheme D Chaum, PYA Ryan, S Schneider Computer Security–ESORICS 2005: 10th European Symposium on Research in …, 2005	531	2005
Verifying authentication protocols in CSP S Schneider IEEE Transactions on software engineering 24 (9), 741-758, 1998	433	1998
The B-method: An introduction S Schneider Palgrave, 2001	387	2001
Security properties and CSP S Schneider Proceedings 1996 IEEE Symposium on Security and Privacy, 174-187, 1996	359	1996
Real-Time Systems: specification, verification, and analysis A Burns, A Welling, K Ramamritham, J Hooman, S Schneider, Z Liu, ... prentice Hall, 1996	321	1996
Process algebra and non-interference PYA Ryan, SA Schneider Journal of Computer Security 9 (1-2), 75-103, 2001	320	2001
How to prevent type flaw attacks on security protocols J Heather, G Lowe, S Schneider Journal of computer Security 11 (2), 217-244, 2003	317	2003
PrÊt À Voter:a Voter-Verifiable Voting System PYA Ryan, D Bismark, J Heather, S Schneider, Z Xia IEEE transactions on information forensics and security 4 (4), 662-673, 2009	310*	2009
CSP and anonymity S Schneider, A Sidiropoulos Computer Security—ESORICS 96: 4th European Symposium on Research in …, 1996	286	1996
An operational semantics for timed CSP S Schneider Information and computation 116 (2), 193-213, 1995	273	1995
A brief history of Timed CSP J Davies, S Schneider Theoretical Computer Science 138 (2), 243-271, 1995	256	1995
Springer International Publishing: Cham L Chen, K Hosoda, E Menegatti, M Shimizu, H Wang Switzerland 11765, 337-345, 2019	237	2019
Formal analysis of a non-repudiation protocol S Schneider Proceedings. 11th IEEE Computer Security Foundations Workshop (Cat. No …, 1998	200	1998
Prêt à voter with re-encryption mixes PYA Ryan, SA Schneider Computer Security–ESORICS 2006: 11th European Symposium on Research in …, 2006	195	2006
An attack on a recursive authentication protocol A cautionary tale PYA Ryan, SA Schneider Information Processing Letters 65 (1), 7-10, 1998	147	1998
CSP theorems for communicating B machines S Schneider, H Treharne Formal Aspects of Computing 17 (4), 390-422, 2005	132	2005
Timed CSP: Theory and practice S Schneider, J Davies, DM Jackson, GM Reed, JN Reed, AW Roscoe Proceedings of the Real-Time: Theory in Practice, REX Workshop, 640-675, 1991	131	1991
Integrating and extending JCSP AA McEwan, S Schneider, W Ifill, P Welch Communicating Process Architectures 2007: WoTUG-30: Proceedings of the 30th …, 2007	125	2007

Systemet kan ikke utføre handlingen. Prøv på nytt senere.

Artikler 1–20

Sitater per år

Duplikatsitater

Sammenslåtte sitater

Legg til medforfattereMedforfattere

Følg

Sitert av

Medforfattere