- International Journal of Information Security manuscript No. (will be inserted by the editor)
- Alistair A. McEwan, Steve Schneider, Wilson Ifill, and Peter Welch IOS Press, 2007
- A verified development of hardware using CSP B
- Pr^et `a Voter: All-In-One Z. Xia, S. Schneider, J. Heather, P. Ryan, D. Lundin, R. Peel and P. Howard
- Augmenting B with Control Annotations Wilson Ifill1,2
- A Layered Behavioural Model of Platelets Steve Schneider
- Towards automatic verification of authentication protocols on an unbounded James Heather and Steve Schneider
- Pr^et `a Voter with re-encryption mixes P Y A Ryan1
- Communicating Process Architectures 2007 Alistair A. McEwan, Steve Schneider, Wilson Ifill, and Peter Welch
- Introducing mobility into CSP B Steve Schneider, Helen Treharne, and Beeta Vajar
- Threat Analysis of A Practical Voting Scheme with Sebastien Foulle, Steve Schneider, Jacques Traore, Zhe Xia
- A New Receipt-Free E-Voting Scheme Based on Blind Signature (Abstract)
- A formal approach for reasoning about a class of Diffie-Hellman protocols
- Under consideration for publication in Formal Aspects of Computing Tank monitoring: a pAMN case study
