Steve A. Schneider

159 papers A 8B 19C 9Misc 2Journal 53Unranked 53

Year	Rank	Type	Title / Venue / Authors
2020	J	`jnl`	Anonymous Single Sign-On With Proxy Re-Verification. IEEE Trans. Inf. Forensics Secur. Jinguang Han, Liqun Chen, Steve A. Schneider, Helen Treharne, Stephan Wesemeyer, Nick Wilson
2020	—	`ed.`	Computer Security - ESORICS 2020 - 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14-18, 2020, Proceedings, Part I ESORICS (1) Liqun Chen, Ninghui Li, Kaitai Liang, Steve A. Schneider
2020	—	`ed.`	Computer Security - ESORICS 2020 - 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14-18, 2020, Proceedings, Part II ESORICS (2) Liqun Chen, Ninghui Li, Kaitai Liang, Steve A. Schneider
2020	J	`jnl`	Vax-a-Net: Training-time Defence Against Adversarial Patch Attacks. CoRR Thomas Gittings, Steve A. Schneider, John P. Collomosse
2019	A	`conf`	A Symbolic Analysis of ECC-Based Direct Anonymous Attestation. EuroS&P Jorden Whitefield, Liqun Chen, Ralf Sasse, Steve A. Schneider, Helen Treharne, Stephan Wesemeyer
2019	—	`ed.`	Computer Security - ESORICS 2019 - 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019, Proceedings, Part I ESORICS (1) Kazue Sako, Steve A. Schneider, Peter Y. A. Ryan
2019	—	`ed.`	Computer Security - ESORICS 2019 - 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019, Proceedings, Part II ESORICS (2) Kazue Sako, Steve A. Schneider, Peter Y. A. Ryan
2019	A	`conf`	Robust Synthesis of Adversarial Visual Examples Using a Deep Image Prior. BMVC Thomas Gittings, Steve A. Schneider, John P. Collomosse
2019	J	`jnl`	Robust Synthesis of Adversarial Visual Examples Using a Deep Image Prior. CoRR Thomas Gittings, Steve A. Schneider, John P. Collomosse
2019	J	`jnl`	VMV: Augmenting an Internet Voting System with Selene Verifiability. CoRR Muntadher Sallal, Steve A. Schneider, Matthew Casey, Constantin Catalin Dragan, François Dupressoir, Luke Riley, Helen Treharne, Joe Wadsworth, Phil Wright
2018	J	`jnl`	Anonymous Single Sign-on with Proxy Re-Verification. CoRR Jinguang Han, Liqun Chen, Steve A. Schneider, Helen Treharne, Stephan Wesemeyer, Nick Wilson
2018	—	`conf`	Anonymous Single-Sign-On for n Designated Services with Traceability. ESORICS (1) Jinguang Han, Liqun Chen, Steve A. Schneider, Helen Treharne, Stephan Wesemeyer
2018	J	`jnl`	Anonymous Single-Sign-On for n designated services with traceability. CoRR Jinguang Han, Liqun Chen, Steve A. Schneider, Helen Treharne, Stephan Wesemeyer
2018	C	`ed.`	Information Security - 21st International Conference, ISC 2018, Guildford, UK, September 9-12, 2018, Proceedings ISC Liqun Chen, Mark Manulis, Steve A. Schneider
2017	J	`jnl`	A Vote of Confidence? IEEE Secur. Priv. Josh Benaloh, Peter Y. A. Ryan, Steve A. Schneider, Vanessa Teague
2017	—	`conf`	Formal Analysis of V2X Revocation Protocols. STM Jorden Whitefield, Liqun Chen, Frank Kargl, Andrew Paverd, Steve A. Schneider, Helen Treharne, Stephan Wesemeyer
2017	J	`jnl`	Formal Analysis of V2X Revocation Protocols. CoRR Jorden Whitefield, Liqun Chen, Frank Kargl, Andrew Paverd, Steve A. Schneider, Helen Treharne, Stephan Wesemeyer
2017	B	`ed.`	Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings IFM Nadia Polikarpova, Steve A. Schneider
2017	J	`jnl`	PPETS-FGP: Privacy-Preserving Electronic Ticket Scheme with Fine-Grained Pricing. CoRR Jinguang Han, Liqun Chen, Steve A. Schneider, Helen Treharne
2017	—	`conf`	Privacy-enhanced capabilities for VANETs using direct anonymous attestation. VNC Jorden Whitefield, Liqun Chen, Thanassis Giannetsos, Steve A. Schneider, Helen Treharne
2016	B	`ed.`	Applied Cryptography and Network Security - 14th International Conference, ACNS 2016, Guildford, UK, June 19-22, 2016. Proceedings ACNS Mark Manulis, Ahmad-Reza Sadeghi, Steve A. Schneider
2016	J	`jnl`	Automated anonymity verification of the ThreeBallot and VAV voting systems. Softw. Syst. Model. Murat Moran, James Heather, Steve A. Schneider
2016	—	`ch.`	Event-B and Linear Temporal Logic. From Action Systems to Distributed Systems Steve A. Schneider, Helen Treharne, David M. Williams
2016	J	`jnl`	Foundations for using linear temporal logic in Event-B refinement. Formal Aspects Comput. Thai Son Hoang, Steve A. Schneider, Helen Treharne, David M. Williams
2016	J	`jnl`	vVote: Verifiable Electronic Voting in Practice. IEEE Secur. Priv. Craig Burton, Chris Culnane, Steve A. Schneider
2015	J	`jnl`	A formal framework for security analysis of NFC mobile coupon protocols. J. Comput. Secur. Abdullah Ali Alshehri, Steve A. Schneider
2015	J	`jnl`	End-to-End Verifiability in Voting Systems, from Theory to Practice. IEEE Secur. Priv. Peter Y. A. Ryan, Steve A. Schneider, Vanessa Teague
2015	J	`jnl`	Secure and Verifiable Electronic Voting in Practice: the use of vVote in the Victorian State Election. CoRR Craig Burton, Chris Culnane, Steve A. Schneider
2015	J	`jnl`	Special issue on Automated Verification of Critical Systems (AVoCS 2013). Sci. Comput. Program. Steve A. Schneider, Helen Treharne
2015	J	`jnl`	vVote: A Verifiable Voting System. ACM Trans. Inf. Syst. Secur. Chris Culnane, Peter Y. A. Ryan, Steve A. Schneider, Vanessa Teague
2014	A	`conf`	A Peered Bulletin Board for Robust Use in Verifiable Voting Systems. CSF Chris Culnane, Steve A. Schneider
2014	J	`jnl`	A Peered Bulletin Board for Robust Use in Verifiable Voting Systems. CoRR Chris Culnane, Steve A. Schneider
2014	B	`conf`	Countering Ballot Stuffing and Incorporating Eligibility Verifiability in Helios. NSS Sriramkrishnan Srinivasan, Chris Culnane, James Heather, Steve A. Schneider, Zhe Xia
2014	J	`jnl`	Cryptographic protocols with everyday objects. Formal Aspects Comput. James Heather, Steve A. Schneider, Vanessa Teague
2014	J	`jnl`	Editorial. Formal Aspects Comput. Eerke A. Boiten, Steve A. Schneider
2014	—	`conf`	Faster Print on Demand for Prêt à Voter. EVT/WOTE Chris Culnane, James Heather, Rui Joaquim, Peter Y. A. Ryan, Steve A. Schneider, Vanessa Teague
2014	B	`conf`	Managing LTL Properties in Event-B Refinement. IFM Steve A. Schneider, Helen Treharne, Heike Wehrheim, David M. Williams
2014	J	`jnl`	Managing LTL properties in Event-B refinement. CoRR Steve A. Schneider, Helen Treharne, Heike Wehrheim, David M. Williams
2014	J	`jnl`	On modelling and verifying railway interlockings: Tracking train lengths. Sci. Comput. Program. Phillip James, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Steve A. Schneider, Helen Treharne
2014	—	`conf`	Robustness Modelling and Verification of a Mix Net Protocol. SSR Efstathios Stathakidis, Steve A. Schneider, James Heather
2014	J	`jnl`	Special Section on Vote-ID 2013. J. Inf. Secur. Appl. Steve A. Schneider, Vanessa Teague, Chris Culnane, James Heather
2014	J	`jnl`	Techniques for modelling and verifying railway interlockings. Int. J. Softw. Tools Technol. Transf. Phillip James, Faron Moller, Nguyen Hoang Nga, Markus Roggenbach, Steve A. Schneider, Helen Treharne
2014	J	`jnl`	The behavioural semantics of Event-B refinement. Formal Aspects Comput. Steve A. Schneider, Helen Treharne, Heike Wehrheim
2014	J	`jnl`	Verifying anonymity in voting systems using CSP. Formal Aspects Comput. Murat Moran, James Heather, Steve A. Schneider
2014	J	`jnl`	vVote: a Verifiable Voting System (DRAFT). CoRR Chris Culnane, Peter Y. A. Ryan, Steve A. Schneider, Vanessa Teague
2013	J	`jnl`	An integrated framework for checking the behaviour of fUML models using CSP. Int. J. Softw. Tools Technol. Transf. Islam Abdelhalim, Steve A. Schneider, Helen Treharne
2013	B	`conf`	Automated Anonymity Verification of the ThreeBallot Voting System. IFM Murat Moran, James Heather, Steve A. Schneider
2013	—	`ed.`	E-Voting and Identify - 4th International Conference, VoteID 2013, Guildford, UK, July 17-19, 2013. Proceedings VoteID James Heather, Steve A. Schneider, Vanessa Teague
2013	C	`conf`	Formal Security Analysis and Improvement of a Hash-Based NFC M-Coupon Protocol. CARDIS Abdullah Ali Alshehri, Steve A. Schneider
2013	—	`conf`	Formally defining NFC M-coupon requirements, with a case study. ICITST Abdullah Ali Alshehri, Steve A. Schneider
2013	—	`conf`	Fuzzy-Systeme zur Unterstützung von Entscheidungen in land- und forstwirtschaftlichen Logistik-Prozessen. GIL Jahrestagung Steve A. Schneider
2013	—	`conf`	OnTrack: An Open Tooling Environment for Railway Verification. NASA Formal Methods Phillip James, Matthew Trumble, Helen Treharne, Markus Roggenbach, Steve A. Schneider
2013	C	`conf`	Policy templates for relationship-based access control. PST Evangelos Aktoudianakis, Jason Crampton, Steve A. Schneider, Helen Treharne, Adrian Waller
2013	—	`conf`	Solving the Discrete Logarithm Problem for Packing Candidate Preferences. CD-ARES Workshops James Heather, Chris Culnane, Steve A. Schneider, Sriramkrishnan Srinivasan, Zhe Xia
2013	—	`conf`	Testing Voters' Understanding of a Security Mechanism Used in Verifiable Voting. EVT/WOTE Morgan Llewellyn, Steve A. Schneider, Zhe Xia, Chris Culnane, James Heather, Peter Y. A. Ryan, Sriramkrishnan Srinivasan
2013	—	`conf`	Verification of Scheme Plans Using CSP $$\|\|$$ \| \| B. SEFM Workshops Phillip James, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Steve A. Schneider, Helen Treharne, Matthew Trumble, David M. Williams
2012	B	`conf`	A Formal Framework for Modelling Coercion Resistance and Receipt Freeness. FM James Heather, Steve A. Schneider
2012	—	`conf`	A Supervised Verifiable Voting Protocol for the Victorian Electoral Commission. Electronic Voting Craig Burton, Chris Culnane, James Heather, Thea Peacock, Peter Y. A. Ryan, Steve A. Schneider, Sriramkrishnan Srinivasan, Vanessa Teague, Roland Wen, Zhe Xia
2012	B	`conf`	An Optimization Approach for Effective Formalized fUML Model Checking. SEFM Islam Abdelhalim, Steve A. Schneider, Helen Treharne
2012	—	`conf`	Defining and Model Checking Abstractions of Complex Railway Models Using CSP\|\|B. Haifa Verification Conference Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Steve A. Schneider, Helen Treharne
2012	J	`jnl`	Railway modelling in CSP\|\|B: the double junction case study. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Markus Roggenbach, Faron Moller, Steve A. Schneider, Helen Treharne, Hoang Nga Nguyen
2012	—	`conf`	Using Prêt à Voter in Victoria State Elections. EVT/WOTE Craig Burton, Chris Culnane, James Heather, Thea Peacock, Peter Y. A. Ryan, Steve A. Schneider, Vanessa Teague, Roland Wen, Zhe Xia, Sriramkrishnan Srinivasan
2011	—	`conf`	A CSP Account of Event-B Refinement Refine@FM Steve A. Schneider, Helen Treharne, Heike Wehrheim
2011	—	`conf`	Authentication Codes. EVT/WOTE Chris Culnane, David Bismark, James Heather, Steve A. Schneider, Sriramkrishnan Srinivasan, Zhe Xia
2011	—	`conf`	Bounded Retransmission in Event-B∥CSP: a Case Study. B@FM Steve A. Schneider, Helen Treharne, Heike Wehrheim
2011	J	`jnl`	Changing system interfaces consistently: A new refinement strategy for CSP\|\|B. Sci. Comput. Program. Steve A. Schneider, Helen Treharne
2011	—	`conf`	Feasibility Analysis of Prêt à Voter for German Federal Elections. VoteID Denise Demirel, Maria Henning, Peter Y. A. Ryan, Steve A. Schneider, Melanie Volkamer
2011	—	`conf`	Focus group views on Prêt à Voter 1.0. REVOTE Steve A. Schneider, Morgan Llewellyn, Chris Culnane, James Heather, Sriramkrishnan Srinivasan, Zhe Xia
2011	—	`conf`	Prêt á Voter with Write-Ins. VoteID Steve A. Schneider, Sriramkrishnan Srinivasan, Chris Culnane, James Heather, Zhe Xia
2011	—	`ch.`	Security Analysis using Rank Functions in CSP. Formal Models and Techniques for Analyzing Security Protocols Steve A. Schneider
2011	C	`conf`	Towards a Practical Approach to Check UML/fUML Models Consistency Using CSP. ICFEM Islam Abdelhalim, Steve A. Schneider, Helen Treharne
2010	B	`conf`	A CSP Approach to Control in Event-B. IFM Steve A. Schneider, Helen Treharne, Heike Wehrheim
2010	J	`jnl`	A step towards refining and translating B control annotations to Handel-C. Concurr. Comput. Pract. Exp. Wilson Ifill, Steve A. Schneider
2010	C	`conf`	Formal Verification of Tokeneer Behaviours Modelled in fUML Using CSP. ICFEM Islam Abdelhalim, James Sharp, Steve A. Schneider, Helen Treharne
2010	J	`jnl`	Modelling and analysis of the AMBA bus using CSP and B. Concurr. Comput. Pract. Exp. Alistair A. McEwan, Steve A. Schneider
2010	Misc	`conf`	Versatile Prêt à Voter: Handling Multiple Election Methods with a Unified Interface. INDOCRYPT Zhe Xia, Chris Culnane, James Heather, Hugo Jonker, Peter Y. A. Ryan, Steve A. Schneider, Sriramkrishnan Srinivasan
2009	—	`conf`	A Step towards Merging xUML and CSP \|\| {\\| \ }B. Rigorous Methods for Software Construction and Analysis Helen Treharne, Steve A. Schneider, Neil Grant, Neil Evans, Wilson Ifill
2009	B	`conf`	Changing System Interfaces Consistently: A New Refinement Strategy for CSP\|\|B. IFM Steve A. Schneider, Helen Treharne
2009	—	`conf`	Experiences Gained from the first Prêt à Voter Implementation. REVOTE David Bismark, James Heather, Roger M. A. Peel, Steve A. Schneider, Zhe Xia, Peter Y. A. Ryan
2009	J	`jnl`	Mobile CSP\|\|B. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Beeta Vajar, Steve A. Schneider, Helen Treharne
2009	J	`jnl`	Prêt à voter: a voter-verifiable voting system. IEEE Trans. Inf. Forensics Secur. Peter Y. A. Ryan, David Bismark, James Heather, Steve A. Schneider, Zhe Xia
2009	J	`jnl`	Specifying authentication using signal events in CSP. Comput. Secur. Siraj A. Shaikh, Vicky J. Bush, Steve A. Schneider
2008	—	`conf`	Analysis, Improvement, and Simplification of Prêt à Voter with Paillier Encryption. EVT Zhe Xia, Steve A. Schneider, James Heather, Jacques Traoré
2008	C	`conf`	Automatic Generation of CSP \|\| B Skeletons from xUML Models. ICTAC Edward Turner, Helen Treharne, Steve A. Schneider, Neil Evans
2008	—	`conf`	Experiments in Translating CSP \|\| B to Handel-C. CPA Steve A. Schneider, Helen Treharne, Alistair A. McEwan, Wilson Ifill
2008	C	`conf`	Object Modelling in the SystemB Industrial Project. ABZ Helen Treharne, Edward Turner, Steve A. Schneider, Neil Evans
2007	—	`conf`	A Step Towards Refining and Translating B Control Annotations to Handel-C. CPA Wilson Ifill, Steve A. Schneider
2007	J	`jnl`	An algebraic approach to the verification of a class of Diffie-Hellman protocols. Int. J. Inf. Sec. Rob Delicata, Steve A. Schneider
2007	—	`conf`	Augmenting B with Control Annotations. B Wilson Ifill, Steve A. Schneider, Helen Treharne
2007	B	`conf`	Combining Mobility with State. IFM Damien Karkinsky, Steve A. Schneider, Helen Treharne
2007	—	`ed.`	Formal Aspects in Security and Trust, Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised Selected Papers Formal Aspects in Security and Trust Theodosis Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve A. Schneider
2007	J	`jnl`	Guest Editors' Preface. Int. J. Inf. Sec. Theodosis Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve A. Schneider
2007	—	`conf`	Modeling and Analysis of the AMBA Bus Using CSP and B. CPA Alistair A. McEwan, Steve A. Schneider
2007	—	`ed.`	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 CPA Alistair A. McEwan, Steve A. Schneider, Wilson Ifill, Peter H. Welch
2007	—	`conf`	Threat Analysis of a Practical Voting Scheme with Receipts. VOTE-ID Sébastien Foulle, Steve A. Schneider, Jacques Traoré, Zhe Xia
2006	B	`conf`	A Layered Behavioural Model of Platelets. ICECCS Steve A. Schneider, Helen Treharne, Ana Cavalcanti, Jim Woodcock
2006	C	`conf`	A verified development of hardware using CSP∥B. MEMOCODE Alistair A. McEwan, Steve A. Schneider
2006	—	`ed.`	Formal Aspects in Security and Trust, Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers Formal Aspects in Security and Trust Theodosis Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve A. Schneider
2006	A	`conf`	Prêt à Voter with Re-encryption Mixes. ESORICS Peter Y. A. Ryan, Steve A. Schneider
2006	J	`jnl`	Tank monitoring: a pAMN case study. Formal Aspects Comput. Steve A. Schneider, Thai Son Hoang, Ken Robinson, Helen Treharne
2006	Misc	`conf`	To infinity and beyond or, avoiding the infinite in security protocol analysis. SAC James Heather, Steve A. Schneider
2005	—	`conf`	A Formal Approach for Reasoning About a Class of Diffie-Hellman Protocols. Formal Aspects in Security and Trust Rob Delicata, Steve A. Schneider
2005	A	`conf`	A Practical Voter-Verifiable Election Scheme. ESORICS David Chaum, Peter Y. A. Ryan, Steve A. Schneider
2005	J	`jnl`	A decision procedure for the existence of a rank function. J. Comput. Secur. James Heather, Steve A. Schneider
2005	J	`jnl`	CSP theorems for communicating B machines. Formal Aspects Comput. Steve A. Schneider, Helen Treharne
2005	B	`conf`	Chunks: Component Verification in CSP\|\|B. IFM Steve A. Schneider, Helen Treharne, Neil Evans
2005	—	`conf`	Specifying Authentication Using Signal Events in CSP. CISC Siraj A. Shaikh, Vicky J. Bush, Steve A. Schneider
2005	—	`conf`	Tank Monitoring: A pAMN Case Study. REFINE Steve A. Schneider, Thai Son Hoang, Ken Robinson, Helen Treharne
2005	—	`conf`	Temporal Rank Functions for Forward Secrecy. CSFW Rob Delicata, Steve A. Schneider
2005	—	`conf`	Timed CSP: A Retrospective. APC 25 Joël Ouaknine, Steve A. Schneider
2005	J	`jnl`	Verifying security protocols with PVS: widening the rank function approach. J. Log. Algebraic Methods Program. Neil Evans, Steve A. Schneider
2005	—	`ed.`	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 ZB Helen Treharne, Steve King, Martin C. Henson, Steve A. Schneider
2004	B	`conf`	Verifying Controlled Components. IFM Steve A. Schneider, Helen Treharne
2004	—	`conf`	Verifying Security Protocols: An Application of CSP. 25 Years Communicating Sequential Processes Steve A. Schneider, Rob Delicata
2003	—	`conf`	Composing Specifications Using Communication. ZB Helen Treharne, Steve A. Schneider, Marchia Bramble
2003	J	`jnl`	Design and Verification of Distributed Recovery Blocks with CSP. Formal Methods Syst. Des. Wing Lok Yeung, Steve A. Schneider
2003	—	`ed.`	Formal Aspects of Security, First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers FASec Ali E. Abdallah, Peter Y. A. Ryan, Steve A. Schneider
2003	J	`jnl`	Guest editorial overview. IEEE J. Sel. Areas Commun. Li Gong, Joshua D. Guttman, Peter Y. A. Ryan, Steve A. Schneider
2003	J	`jnl`	How to Prevent Type Flaw Attacks on Security Protocols. J. Comput. Secur. James Heather, Gavin Lowe, Steve A. Schneider
2002	—	`conf`	Communicating B Machines. ZB Steve A. Schneider, Helen Treharne
2002	A	`conf`	Equal To The Task? ESORICS James Heather, Steve A. Schneider
2002	—	`conf`	Verifying Authentication Protocol Implementations. FMOODS Steve A. Schneider
2001	—	`book`	Modelling and analysis of security protocols. Peter Y. A. Ryan, Steve A. Schneider
2001	J	`jnl`	Process Algebra and Non-Interference. J. Comput. Secur. Peter Y. A. Ryan, Steve A. Schneider
2001	B	`conf`	Process Algebra and Security. CONCUR Steve A. Schneider
2001	—	`book`	The B-method - an introduction. Steve A. Schneider
2000	J	`jnl`	Abstraction and Testing in CSP. Formal Aspects Comput. Steve A. Schneider
2000	A	`conf`	Analysing Time Dependent Security Properties in CSP Using PVS. ESORICS Neil Evans, Steve A. Schneider
2000	—	`conf`	How to Drive a B Machine. ZB Helen Treharne, Steve A. Schneider
2000	—	`conf`	How to Prevent Type Flaw Attacks on Security Protocols. CSFW James Heather, Gavin Lowe, Steve A. Schneider
2000	—	`conf`	May Testing, Non-interference, and Compositionality. MFCSIT Steve A. Schneider
2000	—	`conf`	Towards Automatic Verification of Authentication Protocols on an Unbounded Network. CSFW James Heather, Steve A. Schneider
2000	—	`ed.`	Workshop on Secure Architectures and Information Flow 1999, Royal Holloway, London, UK, December 1-3, 1999 Workshop on Secure Architectures and Information Flow Steve A. Schneider, Peter Ryan
1999	—	`conf`	Abstraction and Testing. World Congress on Formal Methods Steve A. Schneider
1999	—	`conf`	Detecting Feature Interactions in the Terrestrial Trunked Radio (TETRA) Network Using Promela and Xspin. SPIN Carl B. Adekunle, Steve A. Schneider
1999	—	`conf`	Preface. Workshop on Secure Architectures and Information Flow Steve A. Schneider, Peter Ryan
1999	—	`conf`	Process Algebra and Non-Interference. CSFW Peter Y. A. Ryan, Steve A. Schneider
1999	B	`conf`	Using a Process Algebra to Control B Operations. IFM Helen Treharne, Steve A. Schneider
1998	J	`jnl`	An Attack on a Recursive Authentication Protocol. A Cautionary Tale. Inf. Process. Lett. Peter Y. A. Ryan, Steve A. Schneider
1998	—	`conf`	Formal Analysis of a Non-Repudiation Protocol. CSFW Steve A. Schneider
1998	—	`conf`	Test Case Preparation Using a Prototype. B Helen Treharne, J. Draper, Steve A. Schneider
1998	J	`jnl`	Verifying Authentication Protocols in CSP. IEEE Trans. Software Eng. Steve A. Schneider
1997	J	`jnl`	Timewise Refinement for Communicating Processes. Sci. Comput. Program. Steve A. Schneider
1997	—	`conf`	Using a PVS Embedding of CSP to Verify Authentication Protocols. TPHOLs Bruno Dutertre, Steve A. Schneider
1997	—	`conf`	Verifying authentication protocols with CSP. CSFW Steve A. Schneider
1996	A	`conf`	CSP and Anonymity. ESORICS Steve A. Schneider, Abraham Sidiropoulos
1996	—	`conf`	Security Properties and CSP. S&P Steve A. Schneider
1995	J	`jnl`	A Brief History of Timed CSP. Theor. Comput. Sci. Jim Davies, Steve A. Schneider
1995	J	`jnl`	An Operational Semantics for Timed CSP Inf. Comput. Steve A. Schneider
1995	J	`jnl`	Fixed Points Without Completeness. Theor. Comput. Sci. Michael W. Mislove, A. W. Roscoe, Steve A. Schneider
1995	C	`conf`	Real-time LOTOS and Timed Observations. FORTE Jim Davies, Jeremy W. Bryans, Steve A. Schneider
1995	B	`conf`	Towards a denotational semantics for ET-LOTOS. CONCUR Jeremy W. Bryans, Jim Davies, Steve A. Schneider
1993	J	`jnl`	Recursion Induction for Real-Time Processes. Formal Aspects Comput. Jim Davies, Steve A. Schneider
1993	—	`conf`	Rigorous Specification of Real-Time Systems. AMAST Steve A. Schneider
1993	B	`conf`	Timewise Refinement for Communicating Processes. MFPS Steve A. Schneider
1992	—	`conf`	Broadcast Communication for Real-time Processes. FTRTFT Jim Davies, Dave Jackson, Steve A. Schneider
1992	B	`conf`	Using CSP to Verify a Timed Protocol over a Fair Medium. CONCUR Jim Davies, Steve A. Schneider
1991	—	`conf`	Timed CSP: Theory and Practice. REX Workshop Steve A. Schneider, Jim Davies, D. M. Jackson, George M. Reed, Joy N. Reed, A. W. Roscoe
1989	B	`conf`	Factorizing Proofs in Timed CSP. Mathematical Foundations of Programming Semantics Jim Davies, Steve A. Schneider