activity
20112020
most citedA CSP Account of Event-B Refinement

11 citations · 33 across the 11 of their papers we have counts for

collaborators
Showing cs.CRShow all

8 papers · 1 filter

cs.CR2019

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,…

cs.CR2018

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…

cs.CR2018★ 1 cited

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…

cs.CR2017★ 4 cited

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…

cs.CR2017★ 1 cited

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,…

cs.CR2015★ 10 cited

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…

cs.CR2014★ 1 cited

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…

cs.CR2014

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…