Steve A. Schneider

ORCID

Publication Activity (10 Years)

Years Active: 1989-2020
Publications (10 Years): 22

Top Venues

CoRR

Formal Aspects Comput.

EVT/WOTE

IEEE Secur. Priv.

Publications

Jinguang Han, Liqun Chen, Steve A. Schneider, Helen Treharne, Stephan Wesemeyer, Nick Wilson
Anonymous Single Sign-On With Proxy Re-Verification. IEEE Trans. Inf. Forensics Secur. 15 (2020)
Thomas Gittings, Steve A. Schneider, John P. Collomosse
Vax-a-Net: Training-time Defence Against Adversarial Patch Attacks. CoRR (2020)
Muntadher Sallal, Steve A. Schneider, Matthew Casey, Constantin Catalin Dragan, François Dupressoir, Luke Riley, Helen Treharne, Joe Wadsworth, Phil Wright
VMV: Augmenting an Internet Voting System with Selene Verifiability. CoRR (2019)
Jorden Whitefield, Liqun Chen, Ralf Sasse, Steve A. Schneider, Helen Treharne, Stephan Wesemeyer
A Symbolic Analysis of ECC-Based Direct Anonymous Attestation. EuroS&P (2019)
Thomas Gittings, Steve A. Schneider, John P. Collomosse
Robust Synthesis of Adversarial Visual Examples Using a Deep Image Prior. CoRR (2019)
Thomas Gittings, Steve A. Schneider, John P. Collomosse
Robust Synthesis of Adversarial Visual Examples Using a Deep Image Prior. BMVC (2019)
Jinguang Han, Liqun Chen, Steve A. Schneider, Helen Treharne, Stephan Wesemeyer
Anonymous Single-Sign-On for n designated services with traceability. CoRR (2018)
Jinguang Han, Liqun Chen, Steve A. Schneider, Helen Treharne, Stephan Wesemeyer, Nick Wilson
Anonymous Single Sign-on with Proxy Re-Verification. CoRR (2018)
Jinguang Han, Liqun Chen, Steve A. Schneider, Helen Treharne, Stephan Wesemeyer
Anonymous Single-Sign-On for n Designated Services with Traceability. ESORICS (1) (2018)
Jorden Whitefield, Liqun Chen, Frank Kargl, Andrew Paverd, Steve A. Schneider, Helen Treharne, Stephan Wesemeyer
Formal Analysis of V2X Revocation Protocols. CoRR (2017)
Jorden Whitefield, Liqun Chen, Thanassis Giannetsos, Steve A. Schneider, Helen Treharne
Privacy-enhanced capabilities for VANETs using direct anonymous attestation. VNC (2017)
Josh Benaloh, Peter Y. A. Ryan, Steve A. Schneider, Vanessa Teague
A Vote of Confidence? IEEE Secur. Priv. 15 (3) (2017)
Jorden Whitefield, Liqun Chen, Frank Kargl, Andrew Paverd, Steve A. Schneider, Helen Treharne, Stephan Wesemeyer
Formal Analysis of V2X Revocation Protocols. STM (2017)
Jinguang Han, Liqun Chen, Steve A. Schneider, Helen Treharne
PPETS-FGP: Privacy-Preserving Electronic Ticket Scheme with Fine-Grained Pricing. CoRR (2017)
Craig Burton, Chris Culnane, Steve A. Schneider
vVote: Verifiable Electronic Voting in Practice. IEEE Secur. Priv. 14 (4) (2016)
Murat Moran, James Heather, Steve A. Schneider
Automated anonymity verification of the ThreeBallot and VAV voting systems. Softw. Syst. Model. 15 (4) (2016)
Thai Son Hoang, Steve A. Schneider, Helen Treharne, David M. Williams
Foundations for using linear temporal logic in Event-B refinement. Formal Aspects Comput. 28 (6) (2016)
Chris Culnane, Peter Y. A. Ryan, Steve A. Schneider, Vanessa Teague
vVote: A Verifiable Voting System. ACM Trans. Inf. Syst. Secur. 18 (1) (2015)
Craig Burton, Chris Culnane, Steve A. Schneider
Secure and Verifiable Electronic Voting in Practice: the use of vVote in the Victorian State Election. CoRR (2015)
Abdullah Ali Alshehri, Steve A. Schneider
A formal framework for security analysis of NFC mobile coupon protocols. J. Comput. Secur. 23 (6) (2015)
Peter Y. A. Ryan, Steve A. Schneider, Vanessa Teague
End-to-End Verifiability in Voting Systems, from Theory to Practice. IEEE Secur. Priv. 13 (3) (2015)
Steve A. Schneider, Helen Treharne
Special issue on Automated Verification of Critical Systems (AVoCS 2013). Sci. Comput. Program. 111 (2015)
Steve A. Schneider, Helen Treharne, Heike Wehrheim, David M. Williams
Managing LTL Properties in Event-B Refinement. IFM (2014)
Steve A. Schneider, Vanessa Teague, Chris Culnane, James Heather
Special Section on Vote-ID 2013. J. Inf. Secur. Appl. 19 (2) (2014)
Eerke A. Boiten, Steve A. Schneider
Editorial. Formal Aspects Comput. 26 (1) (2014)
Chris Culnane, James Heather, Rui Joaquim, Peter Y. A. Ryan, Steve A. Schneider, Vanessa Teague
Faster Print on Demand for Prêt à Voter. EVT/WOTE (2014)
Chris Culnane, Peter Y. A. Ryan, Steve A. Schneider, Vanessa Teague
vVote: a Verifiable Voting System (DRAFT). CoRR (2014)
James Heather, Steve A. Schneider, Vanessa Teague
Cryptographic protocols with everyday objects. Formal Aspects Comput. 26 (1) (2014)
Steve A. Schneider, Helen Treharne, Heike Wehrheim, David M. Williams
Managing LTL properties in Event-B refinement. CoRR (2014)
Steve A. Schneider, Helen Treharne, Heike Wehrheim
The behavioural semantics of Event-B refinement. Formal Aspects Comput. 26 (2) (2014)
Sriramkrishnan Srinivasan, Chris Culnane, James Heather, Steve A. Schneider, Zhe Xia
Countering Ballot Stuffing and Incorporating Eligibility Verifiability in Helios. NSS (2014)
Phillip James, Faron Moller, Nguyen Hoang Nga, Markus Roggenbach, Steve A. Schneider, Helen Treharne
Techniques for modelling and verifying railway interlockings. Int. J. Softw. Tools Technol. Transf. 16 (6) (2014)
Chris Culnane, Steve A. Schneider
A Peered Bulletin Board for Robust Use in Verifiable Voting Systems. CoRR (2014)
Efstathios Stathakidis, Steve A. Schneider, James Heather
Robustness Modelling and Verification of a Mix Net Protocol. SSR (2014)
Phillip James, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Steve A. Schneider, Helen Treharne
On modelling and verifying railway interlockings: Tracking train lengths. Sci. Comput. Program. 96 (2014)
Murat Moran, James Heather, Steve A. Schneider
Verifying anonymity in voting systems using CSP. Formal Aspects Comput. 26 (1) (2014)
Chris Culnane, Steve A. Schneider
A Peered Bulletin Board for Robust Use in Verifiable Voting Systems. CSF (2014)
James Heather, Chris Culnane, Steve A. Schneider, Sriramkrishnan Srinivasan, Zhe Xia
Solving the Discrete Logarithm Problem for Packing Candidate Preferences. CD-ARES Workshops (2013)
Morgan Llewellyn, Steve A. Schneider, Zhe Xia, Chris Culnane, James Heather, Peter Y. A. Ryan, Sriramkrishnan Srinivasan
Testing Voters' Understanding of a Security Mechanism Used in Verifiable Voting. EVT/WOTE (2013)
Phillip James, Matthew Trumble, Helen Treharne, Markus Roggenbach, Steve A. Schneider
OnTrack: An Open Tooling Environment for Railway Verification. NASA Formal Methods (2013)
Phillip James, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Steve A. Schneider, Helen Treharne, Matthew Trumble, David M. Williams
Verification of Scheme Plans Using CSP $$||$$ | | B. SEFM Workshops (2013)
Abdullah Ali Alshehri, Steve A. Schneider
Formal Security Analysis and Improvement of a Hash-Based NFC M-Coupon Protocol. CARDIS (2013)
Evangelos Aktoudianakis, Jason Crampton, Steve A. Schneider, Helen Treharne, Adrian Waller
Policy templates for relationship-based access control. PST (2013)
Islam Abdelhalim, Steve A. Schneider, Helen Treharne
An integrated framework for checking the behaviour of fUML models using CSP. Int. J. Softw. Tools Technol. Transf. 15 (4) (2013)
Abdullah Ali Alshehri, Steve A. Schneider
Formally defining NFC M-coupon requirements, with a case study. ICITST (2013)
Steve A. Schneider
Fuzzy-Systeme zur Unterstützung von Entscheidungen in land- und forstwirtschaftlichen Logistik-Prozessen. GIL Jahrestagung (2013)
Murat Moran, James Heather, Steve A. Schneider
Automated Anonymity Verification of the ThreeBallot Voting System. IFM (2013)
James Heather, Steve A. Schneider
A Formal Framework for Modelling Coercion Resistance and Receipt Freeness. FM (2012)
Islam Abdelhalim, Steve A. Schneider, Helen Treharne
An Optimization Approach for Effective Formalized fUML Model Checking. SEFM (2012)
Craig Burton, Chris Culnane, James Heather, Thea Peacock, Peter Y. A. Ryan, Steve A. Schneider, Sriramkrishnan Srinivasan, Vanessa Teague, Roland Wen, Zhe Xia
A Supervised Verifiable Voting Protocol for the Victorian Electoral Commission. Electronic Voting (2012)
Markus Roggenbach, Faron Moller, Steve A. Schneider, Helen Treharne, Hoang Nga Nguyen
Railway modelling in CSP||B: the double junction case study. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 53 (2012)
Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Steve A. Schneider, Helen Treharne
Defining and Model Checking Abstractions of Complex Railway Models Using CSP||B. Haifa Verification Conference (2012)
Craig Burton, Chris Culnane, James Heather, Thea Peacock, Peter Y. A. Ryan, Steve A. Schneider, Vanessa Teague, Roland Wen, Zhe Xia, Sriramkrishnan Srinivasan
Using Prêt à Voter in Victoria State Elections. EVT/WOTE (2012)
Steve A. Schneider, Sriramkrishnan Srinivasan, Chris Culnane, James Heather, Zhe Xia
Prêt á Voter with Write-Ins. VoteID (2011)
Denise Demirel, Maria Henning, Peter Y. A. Ryan, Steve A. Schneider, Melanie Volkamer
Feasibility Analysis of Prêt à Voter for German Federal Elections. VoteID (2011)
Steve A. Schneider, Morgan Llewellyn, Chris Culnane, James Heather, Sriramkrishnan Srinivasan, Zhe Xia
Focus group views on Prêt à Voter 1.0. REVOTE (2011)
Steve A. Schneider, Helen Treharne, Heike Wehrheim
A CSP Account of Event-B Refinement Refine@FM (2011)
Steve A. Schneider, Helen Treharne, Heike Wehrheim
Bounded Retransmission in Event-B∥CSP: a Case Study. Electron. Notes Theor. Comput. Sci. 280 (2011)
Chris Culnane, David Bismark, James Heather, Steve A. Schneider, Sriramkrishnan Srinivasan, Zhe Xia
Authentication Codes. EVT/WOTE (2011)
Islam Abdelhalim, Steve A. Schneider, Helen Treharne
Towards a Practical Approach to Check UML/fUML Models Consistency Using CSP. ICFEM (2011)
Steve A. Schneider, Helen Treharne
Changing system interfaces consistently: A new refinement strategy for CSP||B. Sci. Comput. Program. 76 (10) (2011)
Wilson Ifill, Steve A. Schneider
A step towards refining and translating B control annotations to Handel-C. Concurr. Comput. Pract. Exp. 22 (8) (2010)
Alistair A. McEwan, Steve A. Schneider
Modelling and analysis of the AMBA bus using CSP and B. Concurr. Comput. Pract. Exp. 22 (8) (2010)
Steve A. Schneider, Helen Treharne, Heike Wehrheim
A CSP Approach to Control in Event-B. IFM (2010)
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)
Islam Abdelhalim, James Sharp, Steve A. Schneider, Helen Treharne
Formal Verification of Tokeneer Behaviours Modelled in fUML Using CSP. ICFEM (2010)
Steve A. Schneider, Helen Treharne
Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B. IFM (2009)
Siraj A. Shaikh, Vicky J. Bush, Steve A. Schneider
Specifying authentication using signal events in CSP. Comput. Secur. 28 (5) (2009)
Helen Treharne, Steve A. Schneider, Neil Grant, Neil Evans, Wilson Ifill
A Step towards Merging xUML and CSP || {\| \ }B. Rigorous Methods for Software Construction and Analysis (2009)
Peter Y. A. Ryan, David Bismark, James Heather, Steve A. Schneider, Zhe Xia
Prêt à voter: a voter-verifiable voting system. IEEE Trans. Inf. Forensics Secur. 4 (4) (2009)
David Bismark, James Heather, Roger M. A. Peel, Steve A. Schneider, Zhe Xia, Peter Y. A. Ryan
Experiences Gained from the first Prêt à Voter Implementation. REVOTE (2009)
Beeta Vajar, Steve A. Schneider, Helen Treharne
Mobile CSP||B. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 23 (2009)
Steve A. Schneider, Helen Treharne, Alistair McEwan, Wilson Ifill
Experiments in Translating CSP || B to Handel-C. CPA (2008)
Edward Turner, Helen Treharne, Steve A. Schneider, Neil Evans
Automatic Generation of CSP || B Skeletons from xUML Models. ICTAC (2008)
Zhe Xia, Steve A. Schneider, James Heather, Jacques Traoré
Analysis, Improvement, and Simplification of Prêt à Voter with Paillier Encryption. EVT (2008)
Helen Treharne, Edward Turner, Steve A. Schneider, Neil Evans
Object Modelling in the SystemB Industrial Project. ABZ (2008)
Sébastien Foulle, Steve A. Schneider, Jacques Traoré, Zhe Xia
Threat Analysis of a Practical Voting Scheme with Receipts. VOTE-ID (2007)
Wilson Ifill, Steve A. Schneider, Helen Treharne
Augmenting B with Control Annotations. B (2007)
Alistair A. McEwan, Steve A. Schneider
Modeling and Analysis of the AMBA Bus Using CSP and B. CPA (2007)
Theodosis Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve A. Schneider
Guest Editors' Preface. Int. J. Inf. Sec. 6 (2-3) (2007)
Damien Karkinsky, Steve A. Schneider, Helen Treharne
Combining Mobility with State. IFM (2007)
Rob Delicata, Steve A. Schneider
An algebraic approach to the verification of a class of Diffie-Hellman protocols. Int. J. Inf. Sec. 6 (2-3) (2007)
Wilson Ifill, Steve A. Schneider
A Step Towards Refining and Translating B Control Annotations to Handel-C. CPA (2007)
Joël Ouaknine, Steve A. Schneider
Timed CSP: A Retrospective. Electron. Notes Theor. Comput. Sci. 162 (2006)
Peter Y. A. Ryan, Steve A. Schneider
Prêt à Voter with Re-encryption Mixes. ESORICS (2006)
Steve A. Schneider, Thai Son Hoang, Ken Robinson, Helen Treharne
Tank monitoring: a pAMN case study. Formal Aspects Comput. 18 (3) (2006)
Alistair A. McEwan, Steve A. Schneider
A verified development of hardware using CSP∥B. MEMOCODE (2006)
James Heather, Steve A. Schneider
To infinity and beyond or, avoiding the infinite in security protocol analysis. SAC (2006)
Steve A. Schneider, Helen Treharne, Ana Cavalcanti, Jim Woodcock
A Layered Behavioural Model of Platelets. ICECCS (2006)
Neil Evans, Steve A. Schneider
Verifying security protocols with PVS: widening the rank function approach. J. Log. Algebraic Methods Program. 64 (2) (2005)
Rob Delicata, Steve A. Schneider
Temporal Rank Functions for Forward Secrecy. CSFW (2005)
Steve A. Schneider, Helen Treharne, Neil Evans
Chunks: Component Verification in CSP||B. IFM (2005)
Siraj A. Shaikh, Vicky J. Bush, Steve A. Schneider
Specifying Authentication Using Signal Events in CSP. CISC (2005)
Rob Delicata, Steve A. Schneider
A Formal Approach for Reasoning About a Class of Diffie-Hellman Protocols. Formal Aspects in Security and Trust (2005)
Steve A. Schneider, Thai Son Hoang, Ken Robinson, Helen Treharne
Tank Monitoring: A pAMN Case Study. Electron. Notes Theor. Comput. Sci. 137 (2) (2005)
Steve A. Schneider, Helen Treharne
CSP theorems for communicating B machines. Formal Aspects Comput. 17 (4) (2005)
David Chaum, Peter Y. A. Ryan, Steve A. Schneider
A Practical Voter-Verifiable Election Scheme. ESORICS (2005)
James Heather, Steve A. Schneider
A decision procedure for the existence of a rank function. J. Comput. Secur. 13 (2) (2005)
Steve A. Schneider, Helen Treharne
Verifying Controlled Components. IFM (2004)
Steve A. Schneider, Rob Delicata
Verifying Security Protocols: An Application of CSP. 25 Years Communicating Sequential Processes (2004)

Steve A. Schneider.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Steve A. Schneider