activity
20112024
most citedA CSP Account of Event-B Refinement

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

collaborators
Showing cs.CRShow all

8 papers · 1 filter

cs.CR2024

On the Design and Security of Collective Remote Attestation Protocols

Sharar Ahmadi, Jay Le-Papin, Liqun Chen +3

Collective remote attestation (CRA) is a security service that aims to efficiently identify compromised (often low-powered) devices in a (heterogeneous) network. The last few years…

cs.CR2021

Technical Report on a Virtual CTAP2 WebAuthn Authenticator

Chris Culnane, Christopher J. P. Newton, Helen Treharne

Even though passwordless authentication to online accounts offers greater security and protection from attack, passwords remain prevalent. Passwordless authentication adoption is i…

cs.CR2020★ 2 cited

Lessons Learnt from a 2FA roll out within a higher education organisation

Abideen Tetlay, Helen Treharne, Tom Ascroft +1

Rolling out a new security mechanism in an organisation requires planning, good communication, adoption from users, iterations of reflection on the challenges experienced and how t…

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