11 citations · 13 across the 3 of their papers we have counts for
6 papers
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…
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…
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…
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…