11 citations · 33 across the 11 of their papers we have counts for
12 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)…
Towards end-to-end verifiable online voting: adding verifiability to established voting systems
Mohammed Alsadi, Matthew Casey, Constantin Catalin Dragan +7
Online voting for independent elections is generally supported by trusted election providers. Typically these providers do not offer any way in which a voter can verify their vote,…
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…
Privacy-Preserving Electronic Ticket Scheme with Attribute-based Credentials
Jinguang Han, Liqun Chen, Steve Schneider +2
Electronic tickets (e-tickets) are electronic versions of paper tickets, which enable users to access intended services and improve services' efficiency. However, privacy may be a…
Formal Analysis of V2X Revocation Protocols
Jorden Whitefield, Liqun Chen, Frank Kargl +4
Research on vehicular networking (V2X) security has produced a range of security mechanisms and protocols tailored for this domain, addressing both security and privacy. Typically,…
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…
Managing LTL properties in Event-B refinement
Steve Schneider, Helen Treharne, Heike Wehrheim +1
Refinement in Event-B supports the development of systems via proof based step-wise refinement of events. This refinement approach ensures safety properties are preserved, but addi…
vVote: a Verifiable Voting System
Chris Culnane, Peter Y. A. Ryan, Steve Schneider +1
The Pret a Voter cryptographic voting system was designed to be flexible and to offer voters a familiar and easy voting experience. In this paper we present a case study of our eff…
A Peered Bulletin Board for Robust Use in Verifiable Voting Systems
Chris Culnane, Steve Schneider
The Web Bulletin Board (WBB) is a key component of verifiable election systems. It is used in the context of election verification to publish evidence of voting and tallying that v…
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…