Steve A. Schneider

Markus Roggenbach, Faron Moller, Steve Schneider, Helen Treharne, Hoang Nga Nguyen: Railway modelling in CSP||B: the double junction case study. ECEASST 53 (2012)

Craig Burton, Chris Culnane, James Heather, Thea Peacock, Peter Y. A. Ryan, Steve Schneider, Sriramkrishnan Srinivasan, Vanessa Teague, Roland Wen, Zhe Xia: A Supervised Verifiable Voting Protocol for the Victorian Electoral Commission. Electronic Voting 2012: 81-94

James Heather, Steve Schneider: A Formal Framework for Modelling Coercion Resistance and Receipt Freeness. FM 2012: 217-231

Islam Abdelhalim, Steve Schneider, Helen Treharne: An Optimization Approach for Effective Formalized fUML Model Checking. SEFM 2012: 248-262

Steve Schneider, Helen Treharne, Heike Wehrheim: Bounded Retransmission in Event-B∥CSP: a Case Study. Electr. Notes Theor. Comput. Sci. 280: 69-80 (2011)

Steve Schneider, Helen Treharne: Changing system interfaces consistently: A new refinement strategy for CSP||B. Sci. Comput. Program. 76(10): 837-860 (2011)

Islam Abdelhalim, Steve Schneider, Helen Treharne: Towards a Practical Approach to Check UML/fUML Models Consistency Using CSP. ICFEM 2011: 33-48

Steve Schneider, Morgan Llewellyn, Chris Culnane, James Heather, Sriramkrishnan Srinivasan, Zhe Xia: Focus group views on Prêt à Voter 1.0. REVOTE 2011: 56-65

Denise Demirel, Maria Henning, Peter Y. A. Ryan, Steve Schneider, Melanie Volkamer: Feasibility Analysis of Prêt à Voter for German Federal Elections. VOTE-ID 2011: 158-173

Steve Schneider, Sriramkrishnan Srinivasan, Chris Culnane, James Heather, Zhe Xia: Prêt á Voter with Write-Ins. VOTE-ID 2011: 174-189

Steve Schneider, Helen Treharne, Heike Wehrheim: A CSP Account of Event-B Refinement. Refine 2011: 139-154

Alistair A. McEwan, Steve Schneider: Modelling and analysis of the AMBA bus using CSP and B. Concurrency and Computation: Practice and Experience 22(8): 949-964 (2010)

Wilson Ifill, Steve A. Schneider: A step towards refining and translating B control annotations to Handel-C. Concurrency and Computation: Practice and Experience 22(8): 1023-1048 (2010)

Islam Abdelhalim, James Sharp, Steve A. Schneider, Helen Treharne: Formal Verification of Tokeneer Behaviours Modelled in fUML Using CSP. ICFEM 2010: 371-387

Steve Schneider, Helen Treharne, Heike Wehrheim: A CSP Approach to Control in Event-B. IFM 2010: 260-274

Zhe Xia, Chris Culnane, James Heather, Hugo Jonker, Peter Y. A. Ryan, Steve A. Schneider, Sriramkrishnan Srinivasan: Versatile Prêt à Voter: Handling Multiple Election Methods with a Unified Interface. INDOCRYPT 2010: 98-114

Siraj A. Shaikh, Vicky J. Bush, Steve A. Schneider: Specifying authentication using signal events in CSP. Computers & Security 28(5): 310-324 (2009)

Beeta Vajar, Steve Schneider, Helen Treharne: Mobile CSP||B. ECEASST 23 (2009)

Peter Y. A. Ryan, David Bismark, James Heather, Steve Schneider, Zhe Xia: Prêt à voter: a voter-verifiable voting system. IEEE Transactions on Information Forensics and Security 4(4): 662-673 (2009)

Helen Treharne, Steve Schneider, Neil Grant, Neil Evans, Wilson Ifill: A Step towards Merging xUML and CSP || {\| \ }B. Rigorous Methods for Software Construction and Analysis 2009: 130-146

Steve Schneider, Helen Treharne: Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B. IFM 2009: 103-117

David Bismark, James Heather, Roger M. A. Peel, Steve Schneider, Zhe Xia, Peter Y. A. Ryan: Experiences Gained from the first Prêt à Voter Implementation. REVOTE 2009: 19-28

Helen Treharne, Edward Turner, Steve Schneider, Neil Evans: Object Modelling in the SystemB Industrial Project. ABZ 2008: 359

Edward Turner, Helen Treharne, Steve Schneider, Neil Evans: Automatic Generation of CSP || B Skeletons from xUML Models. ICTAC 2008: 364-379

Zhe Xia, Steve A. Schneider, James Heather, Jacques Traoré: Analysis, Improvement, and Simplification of Prêt à Voter with Paillier Encryption. EVT 2008

Steve Schneider, Helen Treharne, Alistair McEwan, Wilson Ifill: Experiments in Translating CSP || B to Handel-C. CPA 2008: 115-133

Theodosis Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve Schneider: Guest Editors' Preface. Int. J. Inf. Sec. 6(2-3): 65-66 (2007)

Rob Delicata, Steve Schneider: An algebraic approach to the verification of a class of Diffie-Hellman protocols. Int. J. Inf. Sec. 6(2-3): 183-196 (2007)

Wilson Ifill, Steve A. Schneider, Helen Treharne: Augmenting B with Control Annotations. B 2007: 34-48

Damien Karkinsky, Steve A. Schneider, Helen Treharne: Combining Mobility with State. IFM 2007: 373-392

Sébastien Foulle, Steve Schneider, Jacques Traoré, Zhe Xia: Threat Analysis of a Practical Voting Scheme with Receipts. VOTE-ID 2007: 156-165

Alistair A. McEwan, Steve Schneider: Modeling and Analysis of the AMBA Bus Using CSP and B. CPA 2007: 379-398

Wilson Ifill, Steve Schneider: A Step Towards Refining and Translating B Control Annotations to Handel-C. CPA 2007: 399-424

Theodosis Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve A. Schneider (Eds.): Formal Aspects in Security and Trust, Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised Selected Papers. Lecture Notes in Computer Science 4691, Springer 2007, isbn 978-3-540-75226-4

Alistair A. McEwan, Steve A. Schneider, Wilson Ifill, Peter H. Welch (Eds.): 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. Concurrent Systems Engineering Series 65, IOS Press 2007, isbn 978-1-58603-767-3

Joël Ouaknine, Steve Schneider: Timed CSP: A Retrospective. Electr. Notes Theor. Comput. Sci. 162: 273-276 (2006)

Steve Schneider, Thai Son Hoang, Ken Robinson, Helen Treharne: Tank monitoring: a pAMN case study. Formal Asp. Comput. 18(3): 308-328 (2006)

Peter Y. A. Ryan, Steve A. Schneider: Prêt à Voter with Re-encryption Mixes. ESORICS 2006: 313-326

Steve Schneider, Helen Treharne, Ana Cavalcanti, Jim Woodcock: A Layered Behavioural Model of Platelets. ICECCS 2006: 98-106

Alistair A. McEwan, Steve Schneider: A verified development of hardware using CSP/spl par/B. MEMOCODE 2006: 81

James Heather, Steve Schneider: To infinity and beyond or, avoiding the infinite in security protocol analysis. SAC 2006: 346-353

Theodosis Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve A. Schneider (Eds.): Formal Aspects in Security and Trust, Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers. Lecture Notes in Computer Science 3866, Springer 2006, isbn 3-540-32628-6

Steve A. Schneider, Thai Son Hoang, Ken Robinson, Helen Treharne: Tank Monitoring: A pAMN Case Study. Electr. Notes Theor. Comput. Sci. 137(2): 183-204 (2005)

Steve Schneider, Helen Treharne: CSP theorems for communicating B machines. Formal Asp. Comput. 17(4): 390-422 (2005)

James Heather, Steve Schneider: A decision procedure for the existence of a rank function. Journal of Computer Security 13(2): 317-344 (2005)

Neil Evans, Steve A. Schneider: Verifying security protocols with PVS: widening the rank function approach. J. Log. Algebr. Program. 64(2): 253-284 (2005)

Siraj A. Shaikh, Vicky J. Bush, Steve A. Schneider: Specifying Authentication Using Signal Events in CSP. CISC 2005: 63-74

Rob Delicata, Steve A. Schneider: Temporal Rank Functions for Forward Secrecy. CSFW 2005: 126-139

David Chaum, Peter Y. A. Ryan, Steve A. Schneider: A Practical Voter-Verifiable Election Scheme. ESORICS 2005: 118-139

Rob Delicata, Steve A. Schneider: A Formal Approach for Reasoning About a Class of Diffie-Hellman Protocols. Formal Aspects in Security and Trust 2005: 34-46

Steve A. Schneider, Helen Treharne, Neil Evans: Chunks: Component Verification in CSP||B. IFM 2005: 89-108

Helen Treharne, Steve King, Martin C. Henson, Steve A. Schneider (Eds.): ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings. Lecture Notes in Computer Science 3455, Springer 2005, isbn 3-540-25559-1

Steve A. Schneider, Rob Delicata: Verifying Security Protocols: An Application of CSP. 25 Years Communicating Sequential Processes 2004: 243-263

Steve Schneider, Helen Treharne: Verifying Controlled Components. IFM 2004: 87-107

Wing Lok Yeung, Steve Schneider: Design and Verification of Distributed Recovery Blocks with CSP. Formal Methods in System Design 22(3): 225-248 (2003)

James Heather, Gavin Lowe, Steve Schneider: How to Prevent Type Flaw Attacks on Security Protocols. Journal of Computer Security 11(2): 217-244 (2003)

Li Gong, Joshua D. Guttman, Peter Y. A. Ryan, Steve A. Schneider: Guest editorial overview. IEEE Journal on Selected Areas in Communications 21(1): 1-4 (2003)

Helen Treharne, Steve Schneider, Marchia Bramble: Composing Specifications Using Communication. ZB 2003: 58-78

Ali E. Abdallah, Peter Ryan, Steve Schneider (Eds.): Formal Aspects of Security, First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers. Lecture Notes in Computer Science 2629, Springer 2003, isbn 3-540-20693-0

James Heather, Steve Schneider: Equal To The Task? ESORICS 2002: 162-177

Steve Schneider: Verifying Authentication Protocol Implementations. FMOODS 2002: 5-24

Steve Schneider, Helen Treharne: Communicating B Machines. ZB 2002: 416-435

Peter Y. A. Ryan, Steve A. Schneider: Modelling and analysis of security protocols. Addison-Wesley-Longman 2001, isbn 978-0-201-67471-2, pp. I-XIV, 1-300

Peter Y. A. Ryan, Steve A. Schneider: Process Algebra and Non-Interference. Journal of Computer Security 9(1/2): 75-103 (2001)

Steve Schneider: Process Algebra and Security. CONCUR 2001: 37-38

Steve Schneider, Peter Ryan: Preface. Electr. Notes Theor. Comput. Sci. 32: 113-114 (2000)

Steve Schneider: May Testing, Non-interference, and Compositionality. Electr. Notes Theor. Comput. Sci. 40: 361-391 (2000)

Steve Schneider: Abstraction and Testing in CSP. Formal Asp. Comput. 12(3): 165-181 (2000)

James Heather, Steve Schneider: Towards Automatic Verification of Authentication Protocols on an Unbounded Network. CSFW 2000: 132-143

James Heather, Gavin Lowe, Steve Schneider: How to Prevent Type Flaw Attacks on Security Protocols. CSFW 2000: 255-268

Neil Evans, Steve Schneider: Analysing Time Dependent Security Properties in CSP Using PVS. ESORICS 2000: 222-237

Helen Treharne, Steve Schneider: How to Drive a B Machine. ZB 2000: 188-208

Peter Y. A. Ryan, Steve A. Schneider: Process Algebra and Non-Interference. CSFW 1999: 214-227

Steve Schneider: Abstraction and Testing. World Congress on Formal Methods 1999: 738-757

Helen Treharne, Steve Schneider: Using a Process Algebra to Control B Operations. IFM 1999: 437-456

Carl B. Adekunle, Steve Schneider: Detecting Feature Interactions in the Terrestrial Trunked Radio (TETRA) Network Using Promela and Xspin. SPIN 1999: 136-151

Peter Y. A. Ryan, Steve A. Schneider: An Attack on a Recursive Authentication Protocol. A Cautionary Tale. Inf. Process. Lett. 65(1): 7-10 (1998)

Steve Schneider: Verifying Authentication Protocols in CSP. IEEE Trans. Software Eng. 24(9): 741-758 (1998)

Helen Treharne, J. Draper, Steve Schneider: Test Case Preparation Using a Prototype. B 1998: 293-311

Steve Schneider: Formal Analysis of a Non-Repudiation Protocol. CSFW 1998: 54-65

Steve Schneider: Timewise Refinement for Communicating Processes. Sci. Comput. Program. 28(1): 43-90 (1997)

Steve Schneider: Verifying authentication protocols with CSP. CSFW 1997: 3-17

Bruno Dutertre, Steve Schneider: Using a PVS Embedding of CSP to Verify Authentication Protocols. TPHOLs 1997: 121-136

Steve Schneider, Abraham Sidiropoulos: CSP and Anonymity. ESORICS 1996: 198-218

Steve Schneider: Security Properties and CSP. IEEE Symposium on Security and Privacy 1996: 174-187

Steve Schneider: An Operational Semantics for Timed CSP. Inf. Comput. 116(2): 193-213 (1995)

Jim Davies, Steve Schneider: A Brief History of Timed CSP. Theor. Comput. Sci. 138(2): 243-271 (1995)

Michael W. Mislove, A. W. Roscoe, Steve Schneider: Fixed Points Without Completeness. Theor. Comput. Sci. 138(2): 273-314 (1995)

Jeremy Bryans, Jim Davies, Steve Schneider: Towards a denotational semantics for ET-LOTOS. CONCUR 1995: 269-283

Jim Davies, Jeremy Bryans, Steve Schneider: Real-time LOTOS and Timed Observations. FORTE 1995: 383-397

Jim Davies, Steve Schneider: Recursion Induction for Real-Time Processes. Formal Asp. Comput. 5(6): 530-553 (1994)

Steve Schneider: Rigorous Specification of Real-Time Systems. AMAST 1993: 59-74

Steve Schneider: Timewise Refinement for Communicating Processes. MFPS 1993: 177-214

Jim Davies, Steve Schneider: Using CSP to Verify a Timed Protocol over a Fair Medium. CONCUR 1992: 355-369

Jim Davies, Dave Jackson, Steve Schneider: Broadcast Communication for Real-time Processes. FTRTFT 1992: 149-169

Steve Schneider, Jim Davies, D. M. Jackson, George M. Reed, Joy N. Reed, A. W. Roscoe: Timed CSP: Theory and Practice. REX Workshop 1991: 640-675

Jim Davies, Steve Schneider: Factorizing Proofs in Timed CSP. Mathematical Foundations of Programming Semantics 1989: 129-159