11 citations · 25 across the 10 of their papers we have counts for
11 papers
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…
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…
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…
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,…
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,…
Symbolic Reachability Analysis of B through ProB and LTSmin
Jens Bendisposto, Philipp Koerner, Michael Leuschel +4
We present a symbolic reachability analysis approach for B that can provide a significant speedup over traditional explicit state model checking. The symbolic analysis is implement…
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…
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…