11 citations · 26 across the 4 of their papers we have counts for
6 papers
Vax-a-Net: Training-time Defence Against Adversarial Patch Attacks
T. Gittings, S. Schneider, J. Collomosse
We present Vax-a-Net; a technique for immunizing convolutional neural networks (CNNs) against adversarial patch attacks (APAs). APAs insert visually overt, local regions (patches)…
Robust Synthesis of Adversarial Visual Examples Using a Deep Image Prior
Thomas Gittings, Steve Schneider, John Collomosse
We present a novel method for generating robust adversarial image examples building upon the recent `deep image prior' (DIP) that exploits convolutional network architectures to en…
Anonymous Single Sign-on with Proxy Re-Verification
Jinguang Han, Liqun Chen, Steve Schneider +3
An anonymous Single Sign-On (ASSO) scheme allows users to access multiple services anonymously using one credential. We propose a new ASSO scheme, where users can access services a…
Anonymous Single-Sign-On for n designated services with traceability
Jinguang Han, Liqun Chen, Steve Schneider +2
Anonymous Single-Sign-On authentication schemes have been proposed to allow users to access a service protected by a verifier without revealing their identity which has become more…
Secure and Verifiable Electronic Voting in Practice: the use of vVote in the Victorian State Election
Craig Burton, Chris Culnane, Steve Schneider
The November 2014 Australian State of Victoria election was the first statutory political election worldwide at State level which deployed an end-to-end verifiable electronic votin…
A CSP Account of Event-B Refinement
Steve Schneider, Helen Treharne, Heike Wehrheim
Event-B provides a flexible framework for stepwise system development via refinement. The framework supports steps for (a) refining events (one-by-one), (b) splitting events (one-b…