S. Schneider

发表

Feasibility Analysis of Prêt à Voter for German Federal Elections

Melanie Volkamer, Peter Y. A. Ryan, Steve A. Schneider, 2011, VoteID.

Pret a Voter: All-in-one

Steve A. Schneider, S. Schneider, Zhe Xia, 2007 .

The Prêt à Voter Verifiable Election System

Steve A. Schneider, S. Schneider, Zhe Xia, 2009 .

Communicating B Machines

Steve A. Schneider, S. Schneider, H. Treharne, 2002, ZB.

A Comparison of Additivity Axioms in Timed Transition Systems.

F. Vaandrager, S. Schneider, Alan Jeffrey, 1993 .

A process-oriented architecture for complex system modelling

Carl G. Ritson, S. Schneider, A. McEwan, 2010, Concurr. Comput. Pract. Exp..

On Key-Sizes for Electronic Voting

S. Schneider, Zhe Xia, J. Heather, 2013 .

Concurrent / Reactive System Design with Honeysuckle

S. Schneider, A. McEwan, Wilson Ifill, 2007 .

Modelling and analysis of security protocols

Peter Y. A. Ryan, Steve A. Schneider, P. Ryan, 2001 .

Proceedings of the Third international conference on Formal Aspects in Security and Trust

Fabio Martinelli, Peter Y. A. Ryan, Steve Schneider, 2005 .

vVote: a Verifiable Voting System (DRAFT) pdf

Peter Y. A. Ryan, Steve A. Schneider, Vanessa Teague, 2014, ArXiv.

Timed CSP: Theory and Practice

Jim Davies, A. W. Roscoe, Steve A. Schneider, 1991, REX Workshop.

Timewise Re nement for Communicating Processes

Steve A. Schneider, S. Schneider, 2009 .

CSP, PVS and a Recursive Authentication Protocol

Steve A. Schneider, Steve Schneider, Jeremy Bryans, 1997 .

Concurrent and Real-time Systems: The CSP Approach

Steve A. Schneider, Steve Schneider, S. Schneider, 1999 .

Timed CSP: A Retrospective

Joël Ouaknine, Steve A. Schneider, J. Ouaknine, 2006, APC 25.

May Testing, Non-interference, and Compositionality

Steve A. Schneider, S. Schneider, 2001, MFCSIT.

vVote: A Verifiable Voting System

Peter Y. A. Ryan, Steve A. Schneider, Vanessa Teague, 2014, TSEC.

Vax-a-Net: Training-time Defence Against Adversarial Patch Attacks pdf

T. Gittings, S. Schneider, J. Collomosse, 2020, ACCV.

Robust Synthesis of Adversarial Visual Examples Using a Deep Image Prior pdf

John Collomosse, Steve Schneider, Thomas Gittings, 2019, BMVC.

A formal framework for security analysis of NFC mobile coupon protocols

Steve A. Schneider, Abdullah Ali Alshehri, S. Schneider, 2015, J. Comput. Secur..

The modelling and analysis of security protocols: the csp approach

Peter Y. A. Ryan, Steve A. Schneider, Steve Schneider, 2000 .

Recursion induction for real-time processes

Jim Davies, Steve A. Schneider, S. Schneider, 1993, Formal Aspects of Computing.

Design and Verification of Distributed Recovery Blocks with CSP

Steve A. Schneider, Wing Lok Yeung, W. L. Yeung, 2003, Formal Methods Syst. Des..

Timewise Reenement for Communicating Processes

Royal Holloway, Steve Schneider, S. Schneider, 1997 .

Fixed Points Without Completeness

A. W. Roscoe, Michael W. Mislove, Steve A. Schneider, 1995, Theor. Comput. Sci..

A Brief History of Timed CSP

Jim Davies, Steve A. Schneider, S. Schneider, 1995, Theor. Comput. Sci..

An Operational Semantics for Timed CSP

Steve A. Schneider, S. Schneider, 1995, Inf. Comput..

Real-time CSP and ET-LOTOS

Steve A. Schneider, Jim Davies, Steve Schneider, 1994 .

Rigorous Specification of Real-Time Systems

Steve A. Schneider, S. Schneider, 1993, AMAST.

Timewise Refinement for Communicating Processes

Steve A. Schneider, S. Schneider, 1993, Sci. Comput. Program..

Broadcast Communication for Real-time Processes

Jim Davies, Steve A. Schneider, Dave Jackson, 1992, FTRTFT.

CSP and timewise refinement

Andrew William Roscoe, A. W. Roscoe, Steve Schneider, 1991 .

Factorizing Proofs in Timed CSP

Jim Davies, Steve A. Schneider, S. Schneider, 1990, Mathematical Foundations of Programming Semantics.

Computer Security – ESORICS 2020: 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14–18, 2020, Proceedings, Part I

Ninghui Li, Steve A. Schneider, Liqun Chen, 2020, ESORICS.

Foundations for using linear temporal logic in Event-B refinement

Thai Son Hoang, Steve A. Schneider, Helen Treharne, 2016, Formal Aspects of Computing.

Managing LTL Properties in Event-B Refinement

Steve A. Schneider, Helen Treharne, David M. Williams, 2014, IFM.

Components with Symbolic Transition Systems: a Java Implementation of Rendezvous

Steve A. Schneider, S. Schneider, A. McEwan, 2007 .

Techniques for modelling and verifying railway interlockings

Faron Moller, Nguyen Hoang Nga, Markus Roggenbach, 2014, International Journal on Software Tools for Technology Transfer.

Process algebra and non-interference

Peter Y. A. Ryan, Steve A. Schneider, P. Ryan, 1999, Proceedings of the 12th IEEE Computer Security Foundations Workshop.

The 30th Communicating Process Architectures Conference, CPA 2007, organised under the auspices of WoTUG and the University of Surrey, Guildford, Surrey, UK, 8-11 July 2007

Wilson Ifill, Peter H. Welch, Alistair A. McEwan, 2007, Communicating Process Architectures Conference.

Automatic Generation of CSP || B Skeletons from xUML Models

Neil Evans, Steve A. Schneider, Helen Treharne, 2008, ICTAC.

Formal analysis of a non-repudiation protocol

Steve A. Schneider, S. Schneider, 1998, Proceedings. 11th IEEE Computer Security Foundations Workshop (Cat. No.98TB100238).

CSP and Anonymity

Steve A. Schneider, Abraham Sidiropoulos, S. Schneider, 1996, ESORICS.