Steve A. Schneider
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
38
Venues
19
Active years
1989–2019
Best venue rank
A*
Where they publish
Papers
38 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | BMVC | Robust Synthesis of Adversarial Visual Examples Using a Deep Image Prior. | Thomas Gittings, Steve A. Schneider, John P. Collomosse |
| 2018 | ESORICS | Anonymous Single-Sign-On for n Designated Services with Traceability. | Jinguang Han, Liqun Chen, Steve A. Schneider, Helen Treharne, Stephan Wesemeyer |
| 2014 | IFM | Managing LTL Properties in Event-B Refinement. | Steve A. Schneider, Helen Treharne, Heike Wehrheim, David M. Williams |
| 2014 | NSS | Countering Ballot Stuffing and Incorporating Eligibility Verifiability in Helios. | Sriramkrishnan Srinivasan, Chris Culnane, James Heather, Steve A. Schneider, Zhe Xia |
| 2013 | CARDIS | Formal Security Analysis and Improvement of a Hash-Based NFC M-Coupon Protocol. | Abdullah Ali Alshehri, Steve A. Schneider |
| 2013 | IFM | Automated Anonymity Verification of the ThreeBallot Voting System. | Murat Moran, James Heather, Steve A. Schneider |
| 2013 | PST | Policy templates for relationship-based access control. | Evangelos Aktoudianakis, Jason Crampton, Steve A. Schneider, Helen Treharne, Adrian Waller |
| 2013 | SEFM | Verification of Scheme Plans Using CSP $$||$$ | | B. | Phillip James, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Steve A. Schneider, Helen Treharne, Matthew Trumble, David M. Williams |
| 2012 | FM | A Formal Framework for Modelling Coercion Resistance and Receipt Freeness. | James Heather, Steve A. Schneider |
| 2012 | SEFM | An Optimization Approach for Effective Formalized fUML Model Checking. | Islam Abdelhalim, Steve A. Schneider, Helen Treharne |
| 2011 | ICFEM | Towards a Practical Approach to Check UML/fUML Models Consistency Using CSP. | Islam Abdelhalim, Steve A. Schneider, Helen Treharne |
| 2011 | RE | Focus group views on Prt Voter 1.0. | Steve A. Schneider, Morgan Llewellyn, Chris Culnane, James Heather, Sriramkrishnan Srinivasan, Zhe Xia |
| 2010 | ICFEM | Formal Verification of Tokeneer Behaviours Modelled in fUML Using CSP. | Islam Abdelhalim, James Sharp, Steve A. Schneider, Helen Treharne |
| 2010 | INDOCRYPT | Versatile Prt Voter: Handling Multiple Election Methods with a Unified Interface. | Zhe Xia, Chris Culnane, James Heather, Hugo Jonker, Peter Y. A. Ryan, Steve A. Schneider, Sriramkrishnan Srinivasan |
| 2010 | IFM | A CSP Approach to Control in Event-B. | Steve A. Schneider, Helen Treharne, Heike Wehrheim |
| 2009 | IFM | Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B. | Steve A. Schneider, Helen Treharne |
| 2009 | RE | Experiences Gained from the first Prt Voter Implementation. | David Bismark, James Heather, Roger M. A. Peel, Steve A. Schneider, Zhe Xia, Peter Y. A. Ryan |
| 2008 | ICTAC | Automatic Generation of CSP || B Skeletons from xUML Models. | Edward Turner, Helen Treharne, Steve A. Schneider, Neil Evans |
| 2007 | IFM | Combining Mobility with State. | Damien Karkinsky, Steve A. Schneider, Helen Treharne |
| 2006 | ESORICS | Prt Voter with Re-encryption Mixes. | Peter Y. A. Ryan, Steve A. Schneider |
| 2006 | ICECCS | A Layered Behavioural Model of Platelets. | Steve A. Schneider, Helen Treharne, Ana Cavalcanti, Jim Woodcock |
| 2006 | MEMOCODE | A verified development of hardware using CSP∥B. | Alistair A. McEwan, Steve A. Schneider |
| 2006 | SAC | To infinity and beyond or, avoiding the infinite in security protocol analysis. | James Heather, Steve A. Schneider |
| 2005 | ESORICS | A Practical Voter-Verifiable Election Scheme. | David Chaum, Peter Y. A. Ryan, Steve A. Schneider |
| 2005 | IFM | Chunks: Component Verification in CSP||B. | Steve A. Schneider, Helen Treharne, Neil Evans |
| 2004 | IFM | Verifying Controlled Components. | Steve A. Schneider, Helen Treharne |
| 2002 | ESORICS | Equal To The Task? | James Heather, Steve A. Schneider |
| 2001 | CONCUR | Process Algebra and Security. | Steve A. Schneider |
| 2000 | ESORICS | Analysing Time Dependent Security Properties in CSP Using PVS. | Neil Evans, Steve A. Schneider |
| 1999 | FM | Abstraction and Testing. | Steve A. Schneider |
| 1999 | IFM | Using a Process Algebra to Control B Operations. | Helen Treharne, Steve A. Schneider |
| 1996 | ESORICS | CSP and Anonymity. | Steve A. Schneider, Abraham Sidiropoulos |
| 1996 | SP | Security Properties and CSP. | Steve A. Schneider |
| 1995 | CONCUR | Towards a denotational semantics for ET-LOTOS. | Jeremy W. Bryans, Jim Davies, Steve A. Schneider |
| 1995 | FORTE | Real-time LOTOS and Timed Observations. | Jim Davies, Jeremy W. Bryans, Steve A. Schneider |
| 1993 | MFPS | Timewise Refinement for Communicating Processes. | Steve A. Schneider |
| 1992 | CONCUR | Using CSP to Verify a Timed Protocol over a Fair Medium. | Jim Davies, Steve A. Schneider |
| 1989 | MFPS | Factorizing Proofs in Timed CSP. | Jim Davies, Steve A. Schneider |